@book{MacLane71,
  author = "Saunders MacLane",
  title = "Categories for the Working Mathematician",
  publisher = "Springer-Verlag",
  year = 1971
}
@book{Etingof15,
  author = "Pavel Etingof and Shlomo Gelaki and Dmitri Nikshych and Victor Ostrik",
  title = "Tensor Categories",
  publisher = "American Mathematical Society",
  year = "2015",
  volume = "205",
  series = "Mathematical Surveys and Monographs"
}
@article{Kelly64,
  author = "G. M. Kelly",
  title = "On {M}ac{L}ane's Conditions for Coherence of Natural
           Associativities, Commutativities, {\em etc.}",
  journal = "Journal of Algebra",
  volume = 1,
  year = "1964",
  pages = "397 -- 402"
}
@article{MacLane63,
  author = "S. MacLane",
  title = "Natural associativity and commutativity",
  journal = "Rice. Univ. Stud.",
  volume = 49,
  year = "1963",
  pages = "28 -- 46" 
}
@article{Benabou63,
  author = "J. B\'{e}nabou",
  title = "Cat\'{e}gories avec multiplication",
  journal = "C. R. Acad.~Sci.~Paris",
  volume = "258",
  year = "1963",
  pages = "1887 -- 1890"
}
@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},
}
