{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:05:48Z","timestamp":1759147548609},"reference-count":167,"publisher":"Elsevier","isbn-type":[{"value":"9780444516213","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-444-51621-3.50010-4","type":"book-chapter","created":{"date-parts":[[2012,4,21]],"date-time":"2012-04-21T15:46:39Z","timestamp":1335023199000},"page":"689-800","source":"Crossref","is-referenced-by-count":21,"title":["The History of Categorical Logic: 1963\u20131977"],"prefix":"10.1016","author":[{"given":"Jean-Pierre","family":"Marquis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gonzalo E.","family":"Reyes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0010","series-title":"Abstract and concrete categories","author":"Adamek","year":"1990"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0015","series-title":"Theories coh\u00e9rentes et pr\u00e9topos","author":"Antonius","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0020","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1093\/philmat\/4.3.209","article-title":"Structure in mathematics and logic: a categorical perspective","volume":"4","author":"Awodey","year":"1996","journal-title":"Philos. Math."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0025","series-title":"Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965)","first-page":"336","article-title":"Acyclic models and triples","author":"Barr","year":"1966"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0030","series-title":"Exact Categories and Categories of Sheaves","author":"Barr","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0035","series-title":"Toposes and Local Set Theories, Oxford Logic Guides, volume 14","author":"Bell","year":"1988"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0040","first-page":"1887","article-title":"Categories avec multiplication","volume":"256","author":"B\u00e9nabou","year":"1963","journal-title":"C. R. Acad. Sci. Paris"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0045","first-page":"1","article-title":"Structures algebriques dans les categories","volume":"10","author":"B\u00e9nabou","year":"1968","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_rf0050","first-page":"A897","article-title":"Fibrations petites et localement petites","volume":"281","author":"B\u00e9nabou","year":"1975","journal-title":"C. R. Acad. Sci. Paris S\u00e9r. A-B"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0055","doi-asserted-by":"crossref","first-page":"10","DOI":"10.2307\/2273784","article-title":"Fibered categories and the foundations of naive category theory","volume":"50","author":"B\u00e9nabou","year":"1985","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0060","series-title":"Algebra","author":"Birkhoff","year":"1967"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0065","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/memo\/0404","article-title":"Freyd's models for the independence of the axiom of choice","volume":"79","author":"Blass","year":"1989","journal-title":"Memoirs of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0070","doi-asserted-by":"crossref","first-page":"6","DOI":"10.2307\/2273251","article-title":"La logique des topos","volume":"46","author":"Boileau","year":"1981","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0075","series-title":"Types versus topos","author":"Boileau","year":"1976"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0080","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1955-0074407-6","article-title":"Exact categories and duality","volume":"80","author":"Buchsbaum","year":"1955","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0085","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0022-4049(74)90020-6","article-title":"Topos theory and Souslin's hypothesis","volume":"4","author":"Bunge","year":"1974","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0090","series-title":"Homological algebra","author":"Cartan","year":"1956"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0095","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","article-title":"The independence of the continuum hypothesis","volume":"50","author":"Cohen","year":"1963","journal-title":"Proceedings of the National Academy of Sciences USA"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0100","series-title":"The Proceedings of the Bertrand Russell Memorial Conference (Uldum 1971)","first-page":"351","article-title":"Categories of sets and models of set theory","author":"Cole","year":"1973"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0105","series-title":"Modern Algebra and the Rise of Mathematical Structures, volume 17 of Science Networks. Historical Studies","author":"Corry","year":"1996"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0110","first-page":"37","article-title":"Topologies for real algebraic geometry","volume":"30","author":"Coste","year":"1979"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0115","first-page":"1073","article-title":"Construction d'un modele bool\u00e9en de la theorie des ensembles a partir d'un topos booleen","volume":"278","author":"Coste","year":"1974","journal-title":"C. R. Acad. Sci. Paris S\u00e9r. A"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0120","doi-asserted-by":"crossref","first-page":"766","DOI":"10.2307\/2317864","article-title":"Injective envelopes","volume":"76","author":"Daigneault","year":"1969","journal-title":"American Mathematical Monthly"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0125","doi-asserted-by":"crossref","first-page":"307","DOI":"10.4064\/fm-66-3-307-328","article-title":"Lawvere's elementary theories and polyadic and cylindric algebras","volume":"66","author":"Daigneault","year":"1969","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0130","series-title":"Cohomologie \u00e9tale. Lecture Notes in Mathematics, Vol. 569","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0091516","author":"Deligne","year":"1977"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0135","volume":"152","year":"1962"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0140","volume":"153","year":"1962"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0145","volume":"151","year":"1970"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0150","series-title":"\u00c9l\u00e9ments de geom\u00e9trie alg\u00e9brique I, volume 4","author":"Dieudonne","year":"1960"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0155","series-title":"El\u00e9ments de geom\u00e9trie alg\u00e9brique II, volume 8","author":"Dieudonne","year":"1961"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0160","series-title":"El\u00e9ments de geom\u00e9trie alg\u00e9brique III. Premi\u00e8re partie, volume 11","author":"Dieudonne","year":"1961"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_rf0165","series-title":"El\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique III. Seconde partie, volume 17","author":"Dieudonne","year":"1963"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0170","series-title":"\u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique IV. Premi\u00e8re partie, volume 20","author":"Dieudonne","year":"1964"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0175","series-title":"Elements de g\u00e9om\u00e9trie alg\u00e9brique IV. Seconde part\u00c0e, volume 24","author":"Dieudonne","year":"1965"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0180","series-title":"Elements de g\u00e9om\u00e9trie alg\u00e9brique IV. Troisi\u00e8me part\u00c0e, volume 28","author":"Dieudonne","year":"1966"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0185","series-title":"\u00c9l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique IV. Quatri\u00e8me partie, volume 32","author":"Dieudonne","year":"1967"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0190","series-title":"Des th\u00e9ories \u00e9l\u00e9mentaires aux categories conceptuelles","author":"Dionne","year":"1973"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0195","series-title":"Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965)","first-page":"421","article-title":"Closed categories","author":"Eilenberg","year":"1966"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0200","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1073\/pnas.28.12.537","article-title":"Natural isomorphisms in group theory","volume":"28","author":"Eilenberg","year":"1942","journal-title":"Proeedings of the National Academy of Sciences USA"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0205","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1090\/S0002-9947-1945-0013131-6","article-title":"A general theory of natural equivalences","volume":"58","author":"Eilenberg","year":"1945","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0210","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1215\/ijm\/1256068141","article-title":"Adjoint functors and triples","volume":"9","author":"Eilenberg","year":"1965","journal-title":"Illinois J. Math."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0215","series-title":"Foundations of algebraic topology. Princeton mathematical series, 15","author":"Eilenberg","year":"1952"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0220","series-title":"The Geometry of Schemes, volume 197 of Graduate Texts in Mathematics","author":"Eisenbud","year":"2000"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0225","series-title":"Lectures on Proof Theory. Proceedings of the Summer School in Logic (Leeds 1967)","author":"Feferman","year":"1968"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0230","series-title":"Handbook of Mathematical Logic","first-page":"1053","article-title":"The logic of topoi","author":"Fourman","year":"1977"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0235","series-title":"Applications of Sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Univ. Durham, Durham, 1977), volume 753 of Lecture Notes in Math.,","first-page":"302","article-title":"Sheaves and logic","author":"Fourman","year":"1979"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0240","series-title":"Categories, Allegories, volume 39","author":"Freyd","year":"1990"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0245","series-title":"Theory of Models (Proc. 1963 Internat. Sympos. Berkeley)","first-page":"107","article-title":"The theories of functors and models","author":"Freyd","year":"1965"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0250","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700044828","article-title":"Aspect of topoi","volume":"7","author":"Freyd","year":"1972","journal-title":"Bulletin of the Autralian Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0255","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-4049(80)90097-3","article-title":"The axiom of choice","volume":"19","author":"Freyd","year":"1980","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0260","series-title":"Lokal prasentierbare Kategorien","author":"Gabriel","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0265","series-title":"Applications of Sheaves, volume 753 of Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0061812","article-title":"Fragments of the history of sheaf theory","author":"Gray","year":"1979"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0270","first-page":"119","article-title":"Sur quelques points d'algebre homologique","volume":"9","author":"Grothendieck","year":"1957","journal-title":"T\u00f4hoku Math. J. (2)"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0275","series-title":"Rev\u00f4tements \u00e9tales et groupe fondamental (SGA 1)","author":"Grothendieck","year":"2003"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0280","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2267402","article-title":"Quantification theory and empty individual-domains","volume":"18","author":"Hailperin","year":"1953","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_rf0285","series-title":"Topos Anneles et Sch\u00e9mas Relatifs, volume 64 of Ergebnisse des Mathematik und ihrer Grenzgebiete","author":"Hakim","year":"1972"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0290","series-title":"Algebraic Geometry","author":"Hartshorne","year":"1977"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0295","series-title":"Foundations of Mathematics","author":"Hatcher","year":"1968"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0300","doi-asserted-by":"crossref","first-page":"484","DOI":"10.2307\/1970153","article-title":"Homological algebra in abelian categories","volume":"68","author":"Heller","year":"1958","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0305","series-title":"The L.E.J. Brouwer Centerary Symposium,, volume 110 of Studies in Logic and the Foundations of Mathematics","first-page":"165","article-title":"The effective topos","author":"Hyland","year":"1982"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0310","series-title":"Category Theory (Como 1990), volume 1488","first-page":"131","article-title":"First steps in synthetic domain theory","author":"Hyland","year":"1991"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0315","series-title":"Categorical Logic and Type Theory, volume 141","author":"Jacobs","year":"1999"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0320","series-title":"Topos Theory","author":"Johnstone","year":"1977"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0325","series-title":"Stone Spaces, volume 3 of Cambridge Studies in Advanced Mathematics","author":"Johnstone","year":"1982"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0330","series-title":"Sketches of an elephant: a topos theory compendium. Vol. 1, volume 43","author":"Johnstone","year":"2002"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0335","series-title":"Algebraic Set Theory, volume 220 of London Mathematical Society Lecture Note Series","author":"Joyal","year":"1997"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0340","series-title":"Forcing and generic models in categorical logic","author":"Joyal","year":"1978"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0345","article-title":"Boolean algebras as functors","volume":"17","author":"Joyal","year":"1970","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0350","first-page":"793","article-title":"Cohomology of spectral spaces","volume":"18","author":"Joyal","year":"1971","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0355","first-page":"967","article-title":"Functors which preserve elementary operations","volume":"18","author":"Joyal","year":"1971","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0360","first-page":"563","article-title":"Polyadic spaces and elementary theories","volume":"18","author":"Joyal","year":"1971","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0365","first-page":"393","article-title":"Spectral spaces and distributive lattices","volume":"18","author":"Joyal","year":"1971","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0370","first-page":"618","article-title":"Spectral spaces ii","volume":"18","author":"Joyal","year":"1971","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0375","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0001-8708(81)90052-9","article-title":"A combinatorial theory of formal series","volume":"42","author":"Joyal","year":"1981","journal-title":"Advances in Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0380","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1090\/S0002-9947-1958-0131451-0","article-title":"Adjoint functors","volume":"87","author":"Kan","year":"1958","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0385","first-page":"15","article-title":"Abstract Horn theories","volume":"445","author":"Keane","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0390","series-title":"Introduction to Metamathematics","author":"Kleene","year":"1952"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0395","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1090\/S0002-9939-1965-0177024-4","article-title":"Every standard construction is induced by a pair of adjoint functors","volume":"16","author":"Kleisli","year":"1965","journal-title":"Proc. Amer. Math. Soc."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0400","series-title":"Victoria Symposium on Nonstandard Analysis 1972, volume 369 of Lecture Notes in Mathematics","first-page":"122","article-title":"Topos-theoretic factorizations of non-standard extensions","author":"Kock","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0405","series-title":"Handbook of Mathematical Logic","first-page":"283","article-title":"Doctrines in categorical logic","author":"Kock","year":"1977"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0410","series-title":"Applications of Sheaves, volume 753 of Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1007\/BFb0061832","article-title":"Manifolds in formal differential geometry","author":"Kock","year":"1979"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0415","series-title":"Elementary Toposes, volume 30 of Lecture Notes in Mathematics","author":"Kock","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_rf0420","series-title":"Model Theory and Topoi, volume 445 of Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BFb0061297","article-title":"Some topos theoretic concepts of finiteness","author":"Kock","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0425","series-title":"Synthetic Differential Geometry, volume 51 of London Mathematical Society Lecture Note Series","author":"Kock","year":"1981"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0430","series-title":"Tool and object, volume 32 of Science Networks. Historical Studies","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7643-7524-9","author":"Kromer","year":"2007"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0435","series-title":"Modelling Polymorphism with Categories","author":"Lamarche","year":"1991"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0440","series-title":"Introduction to Higher Order Categorical Logic, volume 7 of Cambridge Studies in Advanced Mathematics","author":"Lambek","year":"1986"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0445","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2310058","article-title":"The mathematics of sentence structure","volume":"65","author":"Lambek","year":"1958","journal-title":"Amer. Math. Monthly"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0450","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF01703261","article-title":"Deductive systems and categories. I. syntactic calculus and residuated categories","volume":"2","author":"Lambek","year":"1968","journal-title":"Mathematical Systems Theory"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0455","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01110627","article-title":"A fixpoint theorem for complete categories","volume":"103","author":"Lambek","year":"1968","journal-title":"Math. Z."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0460","series-title":"Category Theory, Homology Theory, and their Applications, I, volume 86 of Lecture Notes in Mathematics","first-page":"76","article-title":"Deductive systems and categories II. standard constructions and closed categories","author":"Lambek","year":"1969"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0465","series-title":"Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics","first-page":"57","article-title":"Deductive systems and categories III. Cartesian closed categories, intuitionistic propositional calculus, and combinatory logic","author":"Lambek","year":"1972"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0470","series-title":"Substructural logics (Tubingen, 1990), volume 2 of Stud. Logic Comput.","first-page":"207","article-title":"From categorial grammar to bilinear logic","author":"Lambek","year":"1993"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0475","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/philmat\/nki005","article-title":"Categories in context: Historical, foundational, and philosophical","volume":"12","author":"Landry","year":"2005","journal-title":"Philos. Math."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0480","series-title":"Conceptual mathematics","author":"Lawvere","year":"1997"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0485","series-title":"Functorial Semantics of Algebraic Theories","author":"Lawvere","year":"1963"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0490","doi-asserted-by":"crossref","first-page":"1506","DOI":"10.1073\/pnas.52.6.1506","article-title":"An elementary theory of the category of sets","volume":"52","author":"Lawvere","year":"1964","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0495","series-title":"Theory of Models (Proc. 1963 Internat. Sympos. Berkeley)","first-page":"413","article-title":"Algebraic theories, algebraic categories, and algebraic functors","author":"Lawvere","year":"1965"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0500","first-page":"294","article-title":"Functorial semantics of elementary theories","volume":"31","author":"Lawvere","year":"1966","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0505","first-page":"562","article-title":"Theories as categories and the completeness theorem","volume":"32","author":"Lawvere","year":"1967","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0510","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","article-title":"Adjointness in foundations","volume":"23","author":"Lawvere","year":"1969","journal-title":"Dialectica"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0515","series-title":"Category Theory, Homology Theory and their Applications II, volume 92 of Lecture Notes in Mathematics","first-page":"134","article-title":"Diagonal arguments and cartesian closed categories","author":"Lawvere","year":"1969"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0520","series-title":"Sem. on Triples and Categorical Homology Theory (ETH, Z\u00fcrich, 1966\/67)","first-page":"141","article-title":"Ordinal sums and equational doctrines","author":"Lawvere","year":"1969"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0525","series-title":"Actes du congres international des math\u00e9maticiens","first-page":"329","article-title":"Quantifiers and sheaves","author":"Lawvere","year":"1970"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0530","series-title":"Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol. XVII, New York, 1968)","first-page":"1","article-title":"Equality in hyperdoctrines and comprehension schema as an adjoint functor","author":"Lawvere","year":"1970"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0535","first-page":"1","article-title":"Introduction","volume":"274","author":"Lawvere","year":"1972"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_rf0540","first-page":"3","article-title":"Introduction","volume":"445","author":"Lawvere","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0545","series-title":"Variable sets etendu and variable structure in topoi","author":"Lawvere","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0550","series-title":"Algebra, topology, and category theory (a collection of papers in honor of Samuel Eilenberg)","first-page":"101","article-title":"Variable quantities and variable structures in topoi","author":"Lawvere","year":"1976"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0555","first-page":"179","article-title":"Categories of spaces may not be generalized spaces as exemplified by directed graphs","volume":"20","author":"Lawvere","year":"1986","journal-title":"Rev. Colombiana Mat."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0560","series-title":"Categories in computer science and logic (Boulder, CO, 1987), volume 92 of Contemp. Math.","first-page":"261","article-title":"Qualitative distinctions between some toposes of generalized graphs","author":"Lawvere","year":"1989"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0565","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1093\/oso\/9780195092158.003.0004","article-title":"Tools for the advancement of objective logic: closed categories and toposes","volume":"4","author":"Lawvere","year":"1994","journal-title":"The logical foundations of cognition"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0570","first-page":"715","article-title":"Comments on the development of topos theory","volume":"II","author":"Lawvere","year":"2000"},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50010-4_bb0575","doi-asserted-by":"crossref","first-page":"213","DOI":"10.2178\/bsl\/1052669290","article-title":"Foundations and applications: axiomatization and education","volume":"9","author":"Lawvere","year":"2003","journal-title":"Bull. Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0580","first-page":"637","article-title":"Autonomous equational categories","volume":"15","author":"Linton","year":"1966","journal-title":"J. Math. Mech."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0585","series-title":"Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965)","first-page":"84","article-title":"Some aspects of equational categories","author":"Linton","year":"1966"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0590","series-title":"Sheaves in Geometry and Logic","author":"Mac Lane","year":"1994"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0595","series-title":"Infinitistic Methods (Proc. Sympos. Foundations of Math., War,saw, 1959)","first-page":"25","article-title":"Locally small categories and the foundations of set theory","author":"Mac Lane","year":"1961"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0600","first-page":"323","article-title":"Concepts and categories in perspective","volume":"I","author":"Mac Lane","year":"1988"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0605","series-title":"Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics","author":"Mac Lane","year":"1998"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0610","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0022-4049(01)00092-5","article-title":"Samuel Eilenberg and categories","volume":"168","author":"Mac Lane","year":"2002","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0615","series-title":"The Logical Foundations of Cognition, volume 4 of Vancouver Studies in Cognitive Science","year":"1994"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0620","volume":"104","author":"Makkai","year":"1989"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0625","first-page":"385","article-title":"Model-theoretical methods in the theory of elementary topoi and related categories. II","volume":"24","author":"Makkai","year":"1976","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences. S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0630","first-page":"379","article-title":"Model-theoretical methods in the theory of topoi and related categories I","volume":"24","author":"Makkai","year":"1976","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences. S\u00e9rie des Sciences Mathematiques, Astronomiques et Physiques"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0635","series-title":"First Order Categorical Logic, volume 611 of Lecture Notes in Mathematics","author":"Makkai","year":"1977"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0640","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4153\/CMB-1962-015-0","article-title":"Some remarks on limits in categories","volume":"5","author":"Maranda","year":"1962","journal-title":"Canad. Math. Bull."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0645","doi-asserted-by":"crossref","first-page":"758","DOI":"10.4153\/CJM-1965-076-0","article-title":"Fo'rmal categories","volume":"17","author":"Maranda","year":"1965","journal-title":"Canad. J. Math."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0650","doi-asserted-by":"crossref","first-page":"581","DOI":"10.4153\/CMB-1966-072-9","article-title":"On fundamental constructions and adjoint functors","volume":"9","author":"Maranda","year":"1966","journal-title":"Canad. Math. Bull."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0655","series-title":"What is Category Theory?","first-page":"221","article-title":"What is category theory?","author":"Marquis","year":"2006"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0660","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0022-4049(72)90006-0","article-title":"Boolean topoi and the theory of sets","volume":"2","author":"Mitchell","year":"1972","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_rf0665","series-title":"Models of Smooth Infinitesimal Analysis","author":"Moerdijk","year":"1991"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0670","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1017\/S0960129500000074","article-title":"A category-theoretic account of program modules","volume":"1","author":"Moggi","year":"1991","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0675","doi-asserted-by":"crossref","first-page":"107","DOI":"10.2307\/2266682","article-title":"On the rules of proof in the pure functional calculus of the first order","volume":"16","author":"Mostowski","year":"1951","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0680","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0022-4049(74)90032-2","article-title":"Categorical set theory: a characterization of the category of sets","volume":"4","author":"Osius","year":"1974","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0685","first-page":"157","article-title":"The internal and external aspect of logic and set theory in elementary topoi","volume":"15","author":"Osius","year":"1974","journal-title":"Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0690","series-title":"Model Theory and Topoi, volume 445 of Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BFb0061299","article-title":"Logical and set theoretical tools in elementary topoi","author":"Osius","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0695","series-title":"Axiomatization de la logique interne du premier ordre des topos, version inclusive et multisorte","author":"Ouellet","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0700","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF01837552","article-title":"Inclusive first-order logic","volume":"40","author":"Ouellet","year":"1981","journal-title":"Studia Logica"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0705","series-title":"Quelques Aspects de l'Enveloppe Injective d'une Alg\u00e8bre de Boole","author":"Papillon","year":"1969"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0710","series-title":"Categories and Functors","author":"Pareigis","year":"1970"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0715","series-title":"Mathematical Logic and Theoretical Computer Science, volume 106 of Lecture Notes in Pure and Applied Mathematics","first-page":"301","article-title":"Interpolation and conceptual completeness for pretoposes via category theory","author":"Pitts","year":"1987"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0720","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0168-0072(89)90007-9","article-title":"Conceptual completeness for first-order intuitionistic logic: an application of categorical logic","volume":"41","author":"Pitts","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0725","first-page":"79","article-title":"Algebra, categories and databases","volume":"2","author":"Plotkin","year":"2000"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0730","doi-asserted-by":"crossref","first-page":"705","DOI":"10.2307\/2272417","article-title":"Lw1w is enough: A reduction theorem for some infinitary languages","volume":"37","author":"Reyes","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0735","first-page":"143","article-title":"From sheaves to logic","volume":"9","author":"Reyes","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0740","series-title":"Sheaves and concepts: a model-theoretic introduction to Grothendieck topoi","author":"Reyes","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0745","first-page":"1","article-title":"Sheaves and concepts: A model-theoretic interpretation of Grothendieck topoi","volume":"XVIII","author":"Reyes","year":"1977","journal-title":"Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0750","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0001-8708(78)90035-X","article-title":"Theorie des modeles et faisceaux","volume":"30","author":"Reyes","year":"1978","journal-title":"Adv. in Math."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0755","first-page":"x+93","article-title":"Forcing and classifying topoi","volume":"48","author":"scedrov","year":"1984","journal-title":"Mem. Amer. Math. Soc."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0760","series-title":"Applications of sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Univ. Durham,, Durham, 1977), volume 753 of Lecture Notes in Math.","first-page":"660","article-title":"Identity and existence in intuitionistic logic","author":"Scott","year":"1979"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0765","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1002\/malq.19830291005","article-title":"Hyperdoctrines, natural deduction and the beck condition","volume":"29","author":"Seely","year":"1983","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0770","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1017\/S0305004100061284","article-title":"Locally cartesian closed categories and type theory","volume":"95","author":"Seely","year":"1984","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0775","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","article-title":"Categorical semantics for higher order polymorphic lambda calculus","volume":"52","author":"Seely","year":"1987","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0780","series-title":"Basic Algebraic Geometry","author":"Shafarevich","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0785","doi-asserted-by":"crossref","first-page":"465","DOI":"10.4153\/CMB-1965-033-5","article-title":"A characterization of group rings as a special class of hopf algebras","volume":"8","author":"Takahashi","year":"1965","journal-title":"Canad. Math. Bull."},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0790","series-title":"Analysis in categories","author":"Takahashi","year":"1969"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0795","series-title":"M\u00e9ethodes logiques en ge\u00e9om\u00e9etrie diophantine, volume 48 of S\u00e9minaire de math\u00e9matiques sup\u00e9rieures","author":"Takahashi","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0800","series-title":"Practical foundations of mathematics, volume 59","author":"Taylor","year":"1999"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_rf0805","first-page":"13","article-title":"Sheaf theory and the continuum hypothesis","volume":"274","author":"Tierney","year":"1972"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0810","series-title":"Algebra, Topology and Category Theory (a collection of papers in honor of Samuel Eilenberg)","first-page":"211","article-title":"Forcing topologies and classifying topoi","author":"Tierney","year":"1976"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0815","series-title":"Cat\u00e9gories et Syst\u00e8mes D\u00e9ductifs","author":"Vaillancourt","year":"1968"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0820","series-title":"Realizability: an introduction to its categorical side, volume 152 of Studies in Logic and the Foundations of Mathematics","author":"van Oosten","year":"2008"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0825","first-page":"51","article-title":"Completeness theorems for logical categories","volume":"445","author":"Volger","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0830","first-page":"87","article-title":"Logical categories, semantical categories and topoi","volume":"445","author":"Volger","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0835","series-title":"Model Theory and Topoi, volume 445 of Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/BFb0061296","article-title":"Lectures on elementary topoi","author":"Wraith","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50010-4_bb0840","doi-asserted-by":"crossref","first-page":"362","DOI":"10.2178\/bsl\/1058448677","article-title":"A universal approach to self-referential paradoxes, incompleteness and fixed points","volume":"9","author":"Yanofsky","year":"2003","journal-title":"Bulletin of Symbolic Logic"}],"container-title":["Handbook of the History of Logic","Sets and Extensions in the Twentieth Century"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T16:42:20Z","timestamp":1713890540000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780444516213500104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9780444516213"],"references-count":167,"URL":"https:\/\/doi.org\/10.1016\/b978-0-444-51621-3.50010-4","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}