@book{AHS,                                                                     
  author = "Ji\vr\'i. Adamek and Horst Herrlich and George E. Strecker",
  title = "Abstract and Concrete Categories: The Joy of Cats",
  publisher = "(online edition)",
  note = {\url{http://katmat.math.uni-bremen.de/acc}},
  year = 2004
}                    
@book{MacLane,
  author = "Saunders MacLane",
  title = "Categories for the Working Mathematician",
  publisher = "Springer-Verlag",
  year = 1971
}
@article{OKeefe-AFP05,
  author =   {Greg O'Keefe},
  title =    {Category Theory to {Y}oneda's Lemma},
  journal =  {Archive of Formal Proofs},
  month =    Apr,
  year =     2005,
  note =     {\url{http://isa-afp.org/entries/Category.shtml}, Formal proof development},
  ISSN =     {2150-914x}
}
@article{Katovsky-AFP10,
  author =   {Alexander Katovsky},
  title =    {Category Theory},
  journal =  {Archive of Formal Proofs},
  month =    Jun,
  year =     2010,
  note =     {\url{http://isa-afp.org/entries/Category2.shtml}, Formal proof development},
  ISSN =     {2150-914x}
}
@unpublished{Katovsky-CatThy10,
  author =   {Alexander Katovsky},
  title =    {Category Theory in {I}sabelle/{HOL}},
  month =    Jun,
  year =     2010,
  note =     {\url{http://apk32.user.srcf.net/Isabelle/Category/Cat.pdf}}
}  
@misc{Wikipedia-Adjoint-Functors,
   author = "Wikipedia",
   title = "Adjoint Functors --- {W}ikipedia{,} The Free Encyclopedia",
   year = "2016",
   note = {\url{http://en.wikipedia.org/w/index.php?title=Adjoint_functors&oldid=709540944},
	   [Online; accessed 23-June-2016]}
}
@article{Bicategory-AFP,
  author  = {Eugene W. Stark},
  title   = {Bicategories},
  journal = {Archive of Formal Proofs},
  month   = jan,
  year    = 2020,
  note    = {\url{http://isa-afp.org/entries/Bicategory.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
