Editing Category theory (section)

== References ==
=== Citations ===
{{reflist|30em}}

=== Sources ===
{{refbegin|30em}}
* {{cite book |title = Abstract and Concrete Categories |last1 = Adámek |first1 = Jiří |last2 = Herrlich |first2 = Horst |author2-link = Horst Herrlich |last3 = Strecker |first3 = George E. |publisher = Heldermann Verlag Berlin |year = 2004 |url = http://katmat.math.uni-bremen.de/acc/acc.htm }}
* {{cite book |title = Category Theory |last1 = Awodey |first1 =  Steve  |publisher = Oxford University Press |year = 2010 |isbn = 978-0199237180 }}
* {{citation
 | last1 = Barr
 | first1 = Michael
 | author1-link = Michael Barr (mathematician)
 | last2 = Wells
 | first2 = Charles
 | author2-link = Charles Wells (mathematician)
 | edition = 3rd
 | series = Reprints in Theory and Applications of Categories
 | title = Category Theory for Computing Science
 | url = http://www.tac.mta.ca/tac/reprints/articles/22/tr22abs.html
 | volume = 22
 | year = 2012 |orig-year=1995
}}.
* {{citation
 | last1 = Barr | first1 = Michael | author1-link = Michael Barr (mathematician)
 | last2 = Wells | first2 = Charles | author2-link = Charles Wells (mathematician)
 | series = Reprints in Theory and Applications of Categories
 | mr = 2178101
 | title = Toposes, Triples and Theories
 | url = http://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html
 | volume = 12
 | year = 2005
}}.
* {{cite book
 | title = Handbook of categorical algebra
 | publisher = Cambridge University Press
 | year = 1994
 | series = Encyclopedia of Mathematics and its Applications |pages=50–52
 | last1 = Borceux
 | first1 = Francis
 | url = https://books.google.com/books?id=YfzImoopB-IC&q=%22Handbook+of+categorical+algebra%22&pg=PP1
 | isbn = 9780521441780
}}
* {{cite book |last=Freyd |first=Peter J. |title = Abelian Categories |orig-year=1964 |url = http://www.tac.mta.ca/tac/reprints/articles/3/tr3abs.html |author-link=Peter J. Freyd |year=2003 |series=Reprints in Theory and Applications of Categories |volume=3}}
* {{cite book |title = Categories, allegories |publisher=North Holland |year=1990 |series=North Holland Mathematical Library |volume=39 |last1=Freyd  |first1=Peter J. |author1-link=Peter J. Freyd  |last2=Scedrov  |first2=Andre |url = https://books.google.com/books?id=fCSJRegkKdoC |isbn = 978-0-08-088701-2 }}
* {{cite book |first=Robert |last=Goldblatt |author-link=Robert Goldblatt |title = Topoi: The Categorial Analysis of Logic |url = https://books.google.com/books?id=AwLc-12-7LMC |year=2006 |publisher=Dover |isbn = 978-0-486-45026-1 |volume=94 |series=Studies in logic and the foundations of mathematics |orig-year = 1979 }}
* {{cite book |last1= Herrlich |first1= Horst |author1-link=Horst Herrlich |last2=Strecker |first2=George E. |year=2007 |edition=3rd |title = Category Theory |publisher = Heldermann Verlag Berlin |isbn = 978-3-88538-001-6}}.
* {{cite book |first1=Masaki |last1=Kashiwara |author1-link=Masaki Kashiwara |first2=Pierre |last2=Schapira |author2-link=Pierre Schapira (mathematician) |title = Categories and Sheaves |url = https://books.google.com/books?id=K-SjOw_2gXwC |year=2006 |publisher=Springer |isbn = 978-3-540-27949-5 |volume=332 |series=Grundlehren der Mathematischen Wissenschaften }}
* {{cite book |first1=F. William |last1=Lawvere |author1-link=William Lawvere |first2=Robert |last2=Rosebrugh |title = Sets for Mathematics |url = https://archive.org/details/setsformathemati0000lawv |url-access=registration |year=2003 |publisher=Cambridge University Press |isbn = 978-0-521-01060-3 }}
* {{cite book |first1=F. William |last1=Lawvere |first2=Stephen Hoel |last2=Schanuel |author2-link=Stephen Schanuel |title = Conceptual Mathematics: A First Introduction to Categories |url = https://archive.org/details/conceptualmathem00lawv |url-access=registration |year=2009 |publisher=Cambridge University Press |isbn = 978-0-521-89485-2 |edition=2nd |orig-year=1997 }}
* {{cite book |last=Leinster |first=Tom |author-link= :de:Tom Leinster|title=Higher Operads, Higher Categories |publisher=[[Cambridge University Press]] |year=2004 |isbn=978-0-521-53215-0 |series=London Math. Society Lecture Note Series |volume=298 |pages=448 |url=http://www.maths.gla.ac.uk/~tl/book.html |bibcode=2004hohc.book.....L |access-date=2006-04-03 |archive-url=https://web.archive.org/web/20031025120434/http://www.maths.gla.ac.uk/~tl/book.html |archive-date=2003-10-25 |url-status=dead }}
* {{cite book |last=Leinster |first=Tom |author-link = :de:Tom Leinster |title = Basic Category Theory |publisher=Cambridge University Press |year=2014 |arxiv=1612.09375 |url=https://books.google.com/books?id=Q3vsAwAAQBAJ |isbn=9781107044241 |volume=143 |series=Cambridge Studies in Advanced Mathematics}}
* {{cite book |last=Lurie |first=Jacob |author-link=Jacob Lurie |title = Higher Topos Theory| publisher=Princeton University Press |year=2009 |series=Annals of Mathematics Studies |volume=170 |arxiv=math.CT/0608040 |mr=2522659 |isbn=978-0-691-14049-0 }}
* {{cite book |last=Mac Lane |first=Saunders |title=Categories for the Working Mathematician |publisher=Springer-Verlag |year=1998 |edition=2nd |series=Graduate Texts in Mathematics | volume=5 |author-link=Saunders Mac Lane |isbn=978-0-387-98403-2 | mr=1712872|title-link=Categories for the Working Mathematician }}
* {{cite book |title=Algebra |last1=Mac Lane |first1=Saunders |author1-link=Saunders Mac Lane |first2=Garrett |last2=Birkhoff |author2-link=Garrett Birkhoff |publisher=Chelsea |year=1999| edition=2nd |isbn = 978-0-8218-1646-2 |orig-year=1967 }}
* {{cite journal |year=1996|title=Elements of basic category theory |journal=Technical Report|volume=96 |issue=5 |url = http://citeseer.ist.psu.edu/martini96element.html |first1=A. |last1=Martini |first2=H. |last2=Ehrig |first3=D. |last3=Nunes}}
* {{cite book |first=Guerino |last=Mazzola |author-link=Guerino Mazzola |title=The Topos of Music, Geometric Logic of Concepts, Theory, and Performance |publisher=Birkhäuser |year=2002 |isbn = 978-3-7643-5731-3 }}
* {{cite book |zbl=1034.18001 |editor1-last=Pedicchio |editor1-first = Maria Cristina |editor2-last = Tholen |editor2-first=Walter |title = Categorical foundations. Special topics in order, topology, algebra, and sheaf theory |series=Encyclopedia of Mathematics and Its Applications |volume=97  |publisher=[[Cambridge University Press]] |year=2004 |isbn = 978-0-521-83414-8 }}
* {{cite book |first=Benjamin C. |last=Pierce |author-link=Benjamin C. Pierce |title = Basic Category Theory for Computer Scientists |url = https://books.google.com/books?id=ezdeaHfpYPwC |year=1991 |publisher=MIT Press |isbn = 978-0-262-66071-6 }}
* {{cite book |title=An introduction to Category Theory in four easy movements |year=2005 |url=http://www.cs.man.ac.uk/~hsimmons/BOOKS/CatTheory.pdf |last1=Schalk |first1=A. |last2=Simmons |first2=H. |access-date=2007-12-03 |archive-url=https://web.archive.org/web/20170321152109/http://www.cs.man.ac.uk/~hsimmons/BOOKS/CatTheory.pdf |archive-date=2017-03-21 |url-status=dead }} Notes for a course offered as part of the MSc. in [[Mathematical Logic]], [[Manchester University]].
* {{citation <!-- Harold Simmons, 2011 CUP book -->
 | last1 = Simmons
 | first1 = Harold
 | title = An Introduction to Category Theory
 | year = 2011
 | isbn = 978-0521283045
}}.
* {{cite book |title = Homotopy theory of higher categories |url = https://archive.org/details/arxiv-1001.4071 |last=Simpson |first=Carlos |author-link=Carlos Simpson |arxiv=1001.4071 |bibcode=2010arXiv1001.4071S |year=2010 }}, draft of a book.
* {{cite book |first=Paul |last=Taylor |title=Practical Foundations of Mathematics |url= https://books.google.com/books?id=iSCqyNgzamcC |year=1999 |publisher= Cambridge University Press |isbn = 978-0-521-63107-5 |series = Cambridge Studies in Advanced Mathematics |volume = 59 }}
* {{cite web |url = http://www.dcs.ed.ac.uk/home/dt/CT/categories.pdf |title = Category Theory Lecture Notes |last=Turi |first=Daniele |date = 1996–2001 |access-date = 11 December 2009 }} Based on {{harvnb|Mac Lane|1998}}.
{{refend}}