@Article{Woj97-JFM,
    Author       = "Wojciechowski, M.",
    Year         = "1997",
    Title        = "{Yoneda Embedding}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "6",
    Number       = "3",
    Pages        = "377-379",
    Comment      = "TPTPRef,YONEDA_1"
}