Decent Texts on Categorical Logic - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T15:44:28Z http://mathoverflow.net/feeds/question/53188 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic Decent Texts on Categorical Logic Michael Blackmon 2011-01-25T04:41:32Z 2011-03-19T18:30:38Z <p>Recently I read the chapter "Doctrines in Categorical Logic" by Kock, and Reyes in the Handbook of Mathematical Logic. And I was quite impressed with the entire chapter. However it is very short, and considering that this copy was published in 1977, possibly a bit out of date. </p> <p>My curiosity has been sparked (especially given the possibilities described in the aforementioned chapter) and would like to know of some more modern texts, and articles written in this same style (that is to say coming from a logic point of view with a strong emphasis on analogies with normal mathematical logic.)</p> <p>However, that being said, <em>I am stubborn as hell, and game for anything.</em></p> <p>So, Recommendations?</p> <p>Side Note: More interested in the preservation of structure, and the production of models than with any sort of proposed foundational paradigm </p> http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic/53191#53191 Answer by David Roberts for Decent Texts on Categorical Logic David Roberts 2011-01-25T04:59:10Z 2011-01-25T04:59:10Z <p>Might I recommend <em>Sheaves in Geometry and Logic</em> by MacLane and Moerdijk. To quote bits from the blurb:</p> <blockquote> <p>Sheaves also appear in logic as carriers for models of set theory as as for the semantics of other types of logic.</p> <p>The applications to axiomatic set theory and the use in forcing ...are then described.</p> <p>...the construction of topoi related to geometric languages and logic.</p> </blockquote> <p>(Edit: Ed Dean beat me to it, but only just)</p> http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic/53192#53192 Answer by Harry Gindi for Decent Texts on Categorical Logic Harry Gindi 2011-01-25T05:09:06Z 2011-01-25T05:15:19Z <p>Just as technical texts, <em>Acessible Categories</em> by Makkai and Paré and <em>Locally Presentable and Accessible Categories</em> by Adamek and Rosicky are extremely useful even for non-logicians (they are a natural extension of the material in SGA4.1.i on colimits of functors indexed by "ensembles ordonné grand devant $\alpha$", which are now called $\alpha$-filtered colimits), but additionally, they cover a categorical approach to model theory that is also supposed to be pretty interesting (although I haven't read those parts of the books, I've heard good things from a number of people, including François Dorais (indirectly), who is one of our benevolent moderators).</p> http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic/53201#53201 Answer by Justin Hilburn for Decent Texts on Categorical Logic Justin Hilburn 2011-01-25T07:13:44Z 2011-01-25T07:13:44Z <p>My answer here has a number of good references: <a href="http://mathoverflow.net/questions/903/resources-for-learning-practical-category-theory/1954#1954" rel="nofollow">http://mathoverflow.net/questions/903/resources-for-learning-practical-category-theory/1954#1954</a></p> <p>I don't recommend Goldblatt (Here is an article by Colin Mclarty that elaborates on why <a href="http://www.jstor.org/pss/687825" rel="nofollow">http://www.jstor.org/pss/687825</a>).</p> http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic/53218#53218 Answer by Chris Heunen for Decent Texts on Categorical Logic Chris Heunen 2011-01-25T10:54:32Z 2011-01-25T10:54:32Z <p>I'd like to add Carsten Butz' "<a href="http://www.brics.dk/LS/98/2/" rel="nofollow">Regular categories and regular logic</a>". It is available online in the BRICS lecture series, and is very accessible. Though perhaps a bit too basic at times for readers with some background knowledge, it is very suitable for a first introduction before jumping into texts on toposes.</p> http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic/53231#53231 Answer by Tom Leinster for Decent Texts on Categorical Logic Tom Leinster 2011-01-25T13:07:32Z 2011-01-25T13:07:32Z <p><em>Introduction to Higher Order Categorical Logic</em> by Lambek and Scott might fit the bill. </p> http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic/53234#53234 Answer by Buschi Sergio for Decent Texts on Categorical Logic Buschi Sergio 2011-01-25T13:51:55Z 2011-01-25T13:51:55Z <p>For a introduction:</p> <p>1) Notes on Logic and Set theory (cap. 1, cap 3) P.T. Johnstone. </p> <p>2) Locally Presentable And Accessible Categories by J Adamek J Rosicky (Cap. 3 &amp; cap. 5)</p> <p>FOr a comprehensive view:</p> <p>1) Sketches of an Elephant: A Topos Theory Compendium (VOl 2, cap D1)</p> <p>3) B. Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141 </p> http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic/58411#58411 Answer by none for Decent Texts on Categorical Logic none 2011-03-14T11:01:21Z 2011-03-14T11:01:21Z <p><a href="http://en.wikipedia.org/wiki/Categorical_logic" rel="nofollow">http://en.wikipedia.org/wiki/Categorical_logic</a> has more refs. That's a sufficiently obvious place to look that maybe someone can move this "answer" to a comment.</p> http://mathoverflow.net/questions/53188/decent-texts-on-categorical-logic/58935#58935 Answer by Paul Taylor for Decent Texts on Categorical Logic Paul Taylor 2011-03-19T18:30:38Z 2011-03-19T18:30:38Z <p>Well, for the record, there is also my <a href="http://paultaylor.eu/prafm/" rel="nofollow"><i>Practical Foundations of Mathematics</i></a> (CUP, 1999).</p>