- On Choice Sequences Determined by Spreads.Gerrit van der Hoeven & Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (3):908 - 916.details
|
|
Category theory for the sciences.David I. Spivak - 2014 - Cambridge, Massachusetts: The MIT Press.details
|
|
Sketches of an Elephant: A Topos Theory Compendium, Volume 1.Peter T. Johnstone - 2002 - Oxford, England: Clarendon Press.details
|
|
Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics.Silvio Ghilardi & Marek Zawadowski - 2002 - Dordrecht, Netherland: Springer.details
|
|
Categories for the Working Philosopher.Elaine M. Landry (ed.) - 2017 - Oxford, England: Oxford University Press.details
|
|
A Primer of Infinitesimal Analysis.John Lane Bell - 1998 - Cambridge University Press.details
|
|
A universal approach to self-referential paradoxes, incompleteness and fixed points.Noson S. Yanofsky - 2003 - Bulletin of Symbolic Logic 9 (3):362-386.details
|
|
Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.details
|
|
Sheaf models for choice sequences.Gerrit Van Der Hoeven & Ieke Moerdijk - 1984 - Annals of Pure and Applied Logic 27 (1):63-107.details
|
|
Intuitionistic sets and ordinals.Paul Taylor - 1996 - Journal of Symbolic Logic 61 (3):705-744.details
|
|
Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics.Stewart Shapiro - 2005 - Philosophia Mathematica 13 (1):61-77.details
|
|
Formal systems for modal operators on locales.Gonzalo E. Reyes & Marek W. Zawadowski - 1993 - Studia Logica 52 (4):595 - 613.details
|
|
Bi-Heyting algebras, toposes and modalities.Gonzalo E. Reyes & Houman Zolfaghari - 1996 - Journal of Philosophical Logic 25 (1):25 - 43.details
|
|
Conceptual completeness for first-order Intuitionistic logic: an application of categorical logic.Andrew M. Pitts - 1989 - Annals of Pure and Applied Logic 41 (1):33-81.details
|
|
The meaning of category theory for 21st century philosophy.Alberto Peruzzi - 2006 - Axiomathes 16 (4):424-459.details
|
|
A constructive examination of a Russell-style ramified type theory.Erik Palmgren - 2018 - Bulletin of Symbolic Logic 24 (1):90-106.details
|
|
Theories, Sites, Toposes: Relating and Studying Mathematical Theories Through Topos-Theoretic 'Bridges'.Olivia Caramello - 2017 - Oxford, England: Oxford University Press UK.details
|
|
Type theories, toposes and constructive set theory: predicative aspects of AST.Ieke Moerdijk & Erik Palmgren - 2002 - Annals of Pure and Applied Logic 114 (1-3):155-201.details
|
|
Sets, Topoi and Intuitionism.I. Moerdijk - 1998 - Philosophia Mathematica 6 (2):169-177.details
|
|
Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.details
|
|
Heine-borel does not imply the Fan theorem.Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (2):514-519.details
|
|
A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.details
|
|
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.details
|
|
Numbers can be just what they have to.Colin McLarty - 1993 - Noûs 27 (4):487-498.details
|
|
Learning from questions on categorical foundations.Colin McLarty - 2005 - Philosophia Mathematica 13 (1):44-60.details
|
|
Category theory in real time.Colin Mclarty - 1994 - Philosophia Mathematica 2 (1):36-44.details
|
|
Axiomatizing a category of categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.details
|
|
Strong conceptual completeness for first-order logic.Michael Makkai - 1988 - Annals of Pure and Applied Logic 40 (2):167-215.details
|
|
Completeness results for intuitionistic and modal logic in a categorical setting.M. Makkai & G. E. Reyes - 1995 - Annals of Pure and Applied Logic 72 (1):25-101.details
|
|
Mathematics, Form and Function.Saunders MacLane - 1986 - Journal of Philosophy 84 (1):33-37.details
|
|
Category Theory is a Contentful Theory.Shay Logan - 2015 - Philosophia Mathematica 23 (1):110-115.details
|
|
Functional Semantics of Algebraic Theories.F. William Lawvere - 1974 - Journal of Symbolic Logic 39 (2):340-341.details
|
|
Categories of space and of quantity.F. William Lawvere - 1992 - In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. De Gruyter. pp. 14--30.details
|
|
Algebraic Theories, Algebraic Categories, and Algebraic Functors.F. William Lawvere - 1971 - Journal of Symbolic Logic 36 (2):336-337.details
|
|
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.details
|
|
Shared structure need not be shared set-structure.Elaine Landry - 2007 - Synthese 158 (1):1 - 17.details
|
|
Logicism, structuralism and objectivity.Elaine Landry - 2001 - Topoi 20 (1):79-95.details
|
|
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.details
|
|
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.details
|
|
What is the world of mathematics?J. Lambek - 2004 - Annals of Pure and Applied Logic 126 (1-3):149-158.details
|
|
On some connections between logic and category theory.J. Lambek - 1989 - Studia Logica 48 (3):269 - 278.details
|
|
New proofs of some intuitionistic principles.J. Lambek & P. J. Scott - 1983 - Mathematical Logic Quarterly 29 (10):493-504.details
|
|
No Categorial Support for Radical Ontic Structural Realism.Vincent Lam & Christian Wüthrich - 2015 - British Journal for the Philosophy of Science 66 (3):605-634.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.details
|
|
Tool and Object: A History and Philosophy of Category Theory.Ralf Krömer - 2009 - Bulletin of Symbolic Logic 15 (3):320-322.details
|
|
Scientific Structuralism: Presentation and Representation.Katherine Brading & Elaine Landry - 2006 - Philosophy of Science 73 (5):571-581.details
|
|
Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.details
|
|
Proof theory in the abstract.J. M. E. Hyland - 2002 - Annals of Pure and Applied Logic 114 (1-3):43-78.details
|
|
A small complete category.J. M. E. Hyland - 1988 - Annals of Pure and Applied Logic 40 (2):135-165.details
|
|