Toposes, Triples and Theories

1. Categories.- 2. Toposes.- 3. Triples.- 4. Theories.- 5. Properties of Toposes.- 6. Permanence Properties of Toposes.- 7. Representation Theorems.- 8. Cocone Theories.- 9. More on Triples.- Index to Exercises.

[1]  G. Birkhoff,et al.  On the Structure of Abstract Algebras , 1935 .

[2]  S. Maclane,et al.  General theory of natural equivalences , 1945 .

[3]  Saunders MacLane,et al.  Duality for groups , 1950 .

[4]  Alexander Grothendieck,et al.  Sur quelques points d'algèbre homologique, I , 1957 .

[5]  Reflexive Homomorphic Relations , 1960, Canadian Mathematical Bulletin.

[6]  Peter J. Huber,et al.  Homotopy theory in general categories , 1961 .

[7]  F. W. Lawvere,et al.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[8]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[9]  M. Artin.  Cohomologie étale des schémas , 1964 .

[10]  F W Lawvere,et al.  AN ELEMENTARY THEORY OF THE CATEGORY OF SETS. , 1964, Proceedings of the National Academy of Sciences of the United States of America.

[11]  S. Eilenberg,et al.  Adjoint functors and triples , 1965 .

[12]  P. Freyd.  Abelian categories : an introduction to the theory of functors , 1965 .

[13]  H. Kleisli,et al.  Every standard construction is induced by a pair of adjoint functors , 1965 .

[14]  F. E. J. Linton,et al.  Some Aspects of Equational Categories , 1966 .

[15]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[16]  F. W. Lawvere,et al.  The Category of Categories as a Foundation for Mathematics , 1966 .

[17]  J. Beck,et al.  TRIPLES, ALGEBRAS AND COHOMOLOGY , 1967 .

[18]  J. Kennison.  On limit-preserving functors , 1968 .

[19]  Jean Benabou,et al.  Structures algébriques dans les catégories , 1968 .

[20]  M. Barr,et al.  Homology and standard constructions , 1969 .

[21]  P. Freyd.  Several new concepts: Lucid and concordant functors, pre-limits, pre-completeness, the continuous and concordant completions of categories , 1969 .

[22]  F. E. J. Linton,et al.  An outline of functorial semantics , 1969 .

[23]  F. E. J. Linton,et al.  Coequalizers in categories of algebras , 1969 .

[24]  J. Duskin.  Variations on Beck's tripleability criterion , 1969 .

[25]  Myles Tierney,et al.  Categories with models , 1969 .

[26]  M. Barr.  Coequalizers and free triples , 1970 .

[27]  Algebras over theories , 1971 .

[28]  P. Gabriel,et al.  Lokal α-präsentierbare Kategorien , 1971 .

[29]  Michael Barr,et al.  Exact categories and categories of sheaves , 1971 .

[30]  J. Kennison,et al.  Equational completion, model induced triples and pro-objects , 1971 .

[31]  Peter Freyd,et al.  Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.

[32]  E. James Peake,et al.  Extension of algebraic theories , 1972 .

[33]  J. Isbell.  General Functorial Semantics, I , 1972 .

[34]  Charles Ehresmann,et al.  Categories of sketched structures , 1972 .

[35]  Review: F. William Lawvere, An Elementary Theory of the Category of sets , 1972 .

[36]  Connected components and colimits , 1973 .

[37]  Ross Street,et al.  The comprehensive factorization of a functor , 1973 .

[38]  Michael Barr,et al.  Toposes without points , 1974 .

[39]  Gerhard Osius,et al.  Categorical set theory: A characterization of the category of sets , 1974 .

[40]  Gerhard Osius,et al.  Logical and set theoretical tools in elementary topoi , 1975 .

[41]  Alan Day.  Filter monads, continuous lattices and closure systems , 1975 .

[42]  F. William Lawvere.  Continuously Variable Sets; Algebraic Geometry = Geometric Logic , 1975 .

[43]  R. Diaconescu.  Axiom of choice and complementation , 1975 .

[44]  R. Diaconescu,et al.  Change of base for toposes with generators , 1975 .

[45]  Christian Juul Mikkelsen,et al.  Lattice theoretic and logical aspects of elementary topoi , 1976 .

[46]  Samuel Eilenberg,et al.  Algebra, topology, and category theory : a collection of papers in honor of Samuel Eilenberg , 1976 .

[47]  M. Makkai,et al.  First order categorical logic , 1977 .

[48]  Gonzalo E. Reyes,et al.  Doctrines in Categorical Logic , 1977 .

[49]  M. Fourman.  The Logic of Topoi , 1977 .

[50]  A. S. Troelstra,et al.  Aspects of Constructive Mathematics , 1977 .

[51]  Peter T. Johnstone,et al.  Algebraic theories in toposes , 1978 .

[52]  Robert Paré,et al.  Abstract families and the adjoint functor theorems , 1978 .

[53]  George Gratzer,et al.  Universal Algebra , 1979 .

[54]  G. Kelly.  A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on , 1980, Bulletin of the Australian Mathematical Society.

[55]  A triple in CAT , 1980 .

[56]  On algebras defined by operations and equations in a topos , 1980 .

[57]  R. Street.  Notions of topos , 1981, Bulletin of the Australian Mathematical Society.

[58]  Oswald Wyler.  Algebraic theories of continuous lattices , 1981 .

[59]  André Joyal,et al.  La logique des topos , 1981, Journal of Symbolic Logic.

[60]  A. Kock.  Synthetic Differential Geometry , 1981 .

[61]  Completeness of many-sorted equational logic , 1982, SIGP.

[62]  P. T. Johnstone.  SYNTHETIC DIFFERENTIAL GEOMETRY (London Mathematical Society Lecture Note Series, 51) , 1982 .

[63]  G. M. Kelly.  On the essentially-algebraic theory generated by a sketch , 1982, Bulletin of the Australian Mathematical Society.

[64]  Philip S. Mulry.  Generalized Banach-Mazur functionals in the topos of recursive sets , 1982 .

[65]  G. M. Kelly,et al.  A presentation of topoi as algebraic relative to categories or graphs , 1983 .

[66]  R. Street.  The family approach to total cocompleteness and toposes , 1984 .

[67]  M. Bunge.  Toposes in Logic and Logic in Toposes , 1984 .

[68]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .