Editing Categorical logic (section)

==References==
;Books
{{refbegin}}
*{{cite book 
|last1=Abramsky
|first1=Samson
|last2=Gabbay
|first2=Dov
|series=Handbook of Logic in Computer Science |volume=5
|title=Logic and algebraic methods
|publisher=Oxford University Press
|year=2001
|isbn=0-19-853781-6
}}
*{{Cite book |last=Aluffi |first=Paolo |title=Algebra: Chapter 0 |publisher=American Mathematical Society |year=2009 |isbn=978-1-4704-1168-8 |edition=1st |pages=18–20}}
*{{cite book |editor1-first=D.M. |editor1-last=Gabbay |editor2-first=A. |editor2-last=Kanamori |editor3-first=J. |editor3-last=Woods |title=Sets and Extensions in the Twentieth Century |publisher=North-Holland |series=Handbook of the History of Logic |volume=6 |date=2012 |isbn=978-0-444-51621-3 |url={{GBurl|ZF_QckMFy-oC|pg=PR5}}}}

*{{cite book
|last1=Kent
|first1=Allen
|last2=Williams
|first2=James G.
|title=Encyclopedia of Computer Science and Technology
|publisher=Marcel Dekker
|year=1990
|isbn=0-8247-2272-8
}}
*{{cite book |author1-link=Michael Barr (mathematician) |author2-link=Charles Wells (mathematician) |last1=Barr |first1=M. |last2=Wells |first2=C. |title=Category Theory for Computing Science |publisher=Prentice Hall |edition=2nd |date=1996 |isbn=978-0-13-323809-9 }}
*{{cite book |author1-link=Joachim Lambek |author2-link=P.J. Scott |last1=Lambek |first1=J. |last2=Scott |first2=P.J. |title=Introduction to Higher Order Categorical Logic |publisher=Cambridge University Press |series=Cambridge studies in advanced mathematics |volume=7 |date=1988 |isbn=978-0-521-35653-4 |url={{GBurl|6PY_emBeGjUC|pg=PR5}}}}
*{{cite book |author1-link=Francis William Lawvere |author2-link=Robert Rosebrugh |last1=Lawvere |first1=F.W. |last2=Rosebrugh |first2=R. |title=Sets for Mathematics |publisher=Cambridge University Press |date=2003 |isbn=978-0-521-01060-3 |url={{GBurl|h3_7aZz9ZMoC|pg=PP1}}}}
*{{cite book |last1=Lawvere |first1=F.W. |author2-link=Stephen H. Schanuel |last2=Schanuel |first2=S.H. |title=Conceptual Mathematics: A First Introduction to Categories |publisher=Cambridge University Press |edition=2nd |date=2009 |isbn=978-1-139-64396-2 |url={{GBurl|6G0gAwAAQBAJ|pg=PR7}}}}

'''Seminal papers'''
*{{cite journal |author-link=Francis William Lawvere |first=F.W. |last=Lawvere |title=Functorial Semantics of Algebraic Theories |journal=[[Proceedings of the National Academy of Sciences]] |volume=50 |issue=5 |pages=869–872 |date=November 1963 |doi=10.1073/pnas.50.5.869 |jstor=71935 |pmid=16591125 |pmc=221940|bibcode=1963PNAS...50..869L |doi-access=free }}
*{{cite journal |author-mask=1 |first=F.W. |last=Lawvere |title=Elementary Theory of the Category of Sets |journal=Proceedings of the National Academy of Sciences |volume=52 |issue=6 |pages=1506–11 |date=December 1964 |doi=10.1073/pnas.52.6.1506 |jstor=72513 |pmid=16591243 |pmc=300477|bibcode=1964PNAS...52.1506L |doi-access=free }}
*{{cite book |author-mask=1 |first=F. William |last=Lawvere |chapter=Quantifiers and Sheaves |chapter-url= |title=Actes : Du Congres International Des Mathematiciens Nice 1-10 Septembre 1970. Pub. Sous La Direction Du Comite D'organisation Du Congres |publisher=Gauthier-Villars |oclc=217031451 |date=1971 |isbn= |pages=1506–11 |zbl=0261.18010}}  <!-- [[Francis William Lawvere|Lawvere, F.W.]], ''Quantifiers and Sheaves''. In ''Proceedings of the International Congress on Mathematics (Nice 1970)'', Gauthier-Villars (1971) 329–334.  (Guessing same as above in the English title volume (3-vols), haven't found in WorldCat) -->
{{refend}}