@article{Category3-AFP,
  author  = {Eugene W. Stark},
  title   = {Category Theory with Adjunctions and Limits},
  journal = {Archive of Formal Proofs},
  month   = jun,
  year    = 2016,
  note    = {\url{http://isa-afp.org/entries/Category3.shtml}, Formal proof development},
  ISSN    = {2150-914x},
}
@article{MonoidalCategory-AFP,
  author  = {Eugene W. Stark},
  title   = {Monoidal Categories},
  journal = {Archive of Formal Proofs},
  month   = may,
  year    = 2017,
  note    = {\url{http://isa-afp.org/entries/MonoidalCategory.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
@INPROCEEDINGS{benabou,
  author = "J. B{\'{e}}nabou",
  title = "Introduction to Bicategories",
  booktitle = "Reports of the Midwest Category Seminar",
  series = "Lecture Notes in Mathematics",
  publisher = "Springer-Verlag",
  volume = "47",
  year = "1967",
  pages = "1-77"
}
@ARTICLE{carboni-et-al,
  author = "A. Carboni and S. Kasangian and R. Street",
  title = "Bicategories of Spans and Relations",
  journal = "Journal of Pure and Applied Algebra",
  volume = "33",
  year = "1984",
  pages = "259-267",
  publisher = "North-Holland"
}
@misc{nlab-zigzag-diagram,
  author = "Mike Shulman",
  title = "zigzag identity 1 implies 2",
  year = "2010",
  note = {\url{https://ncatlab.org/nlab/show/zigzag%20identity%201%20implies%202%20-%20SVG},
           [Online; accessed 4-November-2019]}
}
@misc{nlab-adjoint-equivalence,
  author = "{nLab (various contributors)}",
  title = "Adjoint Equivalence",
  year = "2010",
  note = {\url{https://ncatlab.org/nlab/show/adjoint+equivalence},
	   [Online; accessed 4-November-2019]}
}
@misc{nlab-equivalence-of-2-categories,
  author = "{nLab (various contributors)}",
  title = "Equivalence of 2-Categories",
  year = "2018",
  note = {\url{https://ncatlab.org/nlab/show/equivalence+of+2-categories},
	   [Online; accessed 4-November-2019]}
}
@misc{unapologetic-strictification,
  author = "John Armstrong",
  title = "The ``Strictification'' Theorem",
  year = "2007",
  note = {\url{https://unapologetic.wordpress.com/2007/07/01/the-strictification-theorem/},
	   [Online; accessed 4-November-2019]}
}
@article{street-fibrations-ii,
  author  = {R. Street},
  title   = {Fibrations in Bicategories},
  journal = {Cahiers de Topologie et G\'{e}om\'{e}trie Diff\'{e}rentielle Cat\'{e}goriques},
  volume  = {XXI},
  number  = {2},                  
  year    = 1980,
  pages   = {111--159}
}
@INPROCEEDINGS{street-fibrations-i,
  AUTHOR = {R. H. Street},
  TITLE = {Fibrations and {Y}oneda's Lemma in a 2-Category},
  BOOKTITLE = {Lecture Notes in Mathematics 420},
  PUBLISHER = {Springer-Verlag},
  YEAR = {1974},
  PAGES = {104-133}
}
@ARTICLE{cartesian-bicategories-i,
  author = {A. Carboni and R. F. C. Walters},
  title = {Cartesian Bicategories {I}},
  journal = {Journal of Pure and Applied Algebra},
  volume = {49},
  year = {1987},
  pages = {11-32},
  publisher = {North-Holland}
}
@ARTICLE{cartesian-bicategories-ii,
  author = {A. Carboni and G. M. Kelly and R. F. C. Walters and R. J. Wood},
  title = {Cartesian Bicategories {II}},
  journal = {Theory and Applications of Categories},
  volume = {19},
  number = {6},
  year = {2008},
  pages = {93--124}
}
@ARTICLE{carboni-partial-maps,
  author = {A. Carboni},
  title = {Bicategories of Partial Maps},
  journal = {Cahiers de Topologie et G\'{e}om\'{e}trie Diff\'{e}rentielle Cat\'{e}goriques},
  volume = {XXVIII},
  number = {2},
  year = {1987},
  pages = {111--126}
}
@misc{leinster-basic-bicategories,
  author = {Tom Leinster},
  title = {Basic Bicategories},
  year = {1998},
  note = {\url{https://arxiv.org/pdf/math/9810017.pdf}}
}
@misc{johnson-yau-2d-categories,
  author = {Niles Johnson and Donald Yau},
  title = {2-Dimensional Categories},
  year = {2020},
  note = {\url{https://arxiv.org/pdf/2002.06055.pdf}}
}
@misc{nlab-pseudonatural-transformation,
  author = {nLab (various contributors)},
  title = {Pseudonatural transformation},
  year = {2019},
  note = {\url{https://ncatlab.org/nlab/show/pseudonatural+transformation},
	   [Online; accessed 11-October-2020]}
}
@misc{nlab-lax-natural-transformation,
  author = {nLab (various contributors)},
  title = {Lax Natural Transformation},
  year = {2020},
  note = {\url{https://ncatlab.org/nlab/show/lax+natural+transformation},
	   [Online; accessed 11-October-2020]}
}
