First order categorical logic : model-theoretical methods in the theory of topoi and related categories /
| Main Author: | Makkai, Mihály, 1939- |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Reyes, Gonzalo E., 1937- |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1977.
|
| Series: | Lecture notes in mathematics (Springer-Verlag) ;
611. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Indexed categories and their applications /
Published: (1978)
Published: (1978)
Model theory and topoi : a collection of lectures by various authors /
Published: (1975)
Published: (1975)
Toposes, triples, and theories /
by: Barr, Michael, 1937-
Published: (1985)
by: Barr, Michael, 1937-
Published: (1985)
First order categorical logic : model-theoretical methods in the theory of topoi and related categories /
by: Makkai, Mihály, 1939-
Published: (1977)
by: Makkai, Mihály, 1939-
Published: (1977)
Categories for the working mathematician /
by: Mac Lane, Saunders, 1909-2005
Published: (1971)
by: Mac Lane, Saunders, 1909-2005
Published: (1971)
Completions of categories : seminar lectures given 1966 in Zurich /
by: Lambek, Joachim
Published: (1966)
by: Lambek, Joachim
Published: (1966)
Classifying spaces and classifying topoi /
by: Moerdijk, Ieke
Published: (1995)
by: Moerdijk, Ieke
Published: (1995)
Topoi : the categorial analysis of logic /
by: Goldblatt, Robert
Published: (1984)
by: Goldblatt, Robert
Published: (1984)
Accessible categories : the foundations of categorical model theory /
by: Makkai, Mihály, 1939-
Published: (1989)
by: Makkai, Mihály, 1939-
Published: (1989)
Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 /
Published: (1991)
Published: (1991)
Categorical closure operators /
by: Castellini, Gabriele
Published: (2003)
by: Castellini, Gabriele
Published: (2003)
Coherence in categories /
Published: (1972)
Published: (1972)
Categories of algebraic systems : vector and projective spaces, semigroups, rings, and lattices /
by: Petrich, Mario
Published: (1976)
by: Petrich, Mario
Published: (1976)
Categories of Boolean sheaves of simple algebras /
by: Diers, Yves, 1937-
Published: (1986)
by: Diers, Yves, 1937-
Published: (1986)
Theories, sites, toposes : relating and studying mathematical theories through topos-theoretic 'bridges' /
by: Caramello, Olivia
Published: (2018)
by: Caramello, Olivia
Published: (2018)
Algebra in a localic topos with applications to ring theory /
by: Borceux, Francis, 1948-
Published: (1983)
by: Borceux, Francis, 1948-
Published: (1983)
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 /
Published: (1972)
Published: (1972)
Functors and categories of Banach spaces : tensor products, operator ideals, and functors on categories of Banach spaces /
by: Michor, Peter W., 1949-
Published: (1978)
by: Michor, Peter W., 1949-
Published: (1978)
Toposes, triples, and theories /
by: Barr, Michael, 1937-
Published: (1985)
by: Barr, Michael, 1937-
Published: (1985)
Categorical constructions in stable homotopy theory : a seminar given at the ETH, Zürich, in 1967 /
by: Tierney, Myles, 1937-
Published: (1969)
by: Tierney, Myles, 1937-
Published: (1969)
Higher topos theory /
by: Lurie, Jacob, 1977-
Published: (2009)
by: Lurie, Jacob, 1977-
Published: (2009)
Measure and category : a survey of the analogies between topological and measure spaces /
by: Oxtoby, John C.
Published: (1980)
by: Oxtoby, John C.
Published: (1980)
Exact categories and categories of sheaves /
by: Barr, Michael, 1937-
Published: (1971)
by: Barr, Michael, 1937-
Published: (1971)
Seminar on triples and categorical homology theory : ETH, 1966-67 /
Published: (1969)
Published: (1969)
Reports of the Midwest Category Seminar /
Published: (1967)
Published: (1967)
Algebraic K-theory /
by: Swan, Richard G.
Published: (1968)
by: Swan, Richard G.
Published: (1968)
Formal category theory : adjointness for 2-categories /
by: Gray, John W. (John Walker), 1931-
Published: (1974)
by: Gray, John W. (John Walker), 1931-
Published: (1974)
Indexed categories and their applications /
Published: (1978)
Published: (1978)
Elementary categories, elementary toposes /
by: McLarty, Colin
Published: (1995)
by: McLarty, Colin
Published: (1995)
Reports of the Midwest Category Seminar III /
Published: (1969)
Published: (1969)
Categorical Perspectives /
by: Koslowski, Jürgen
Published: (2001)
by: Koslowski, Jürgen
Published: (2001)
Kan extensions in enriched category theory /
by: Dubuc, Eduardo J.
Published: (1970)
by: Dubuc, Eduardo J.
Published: (1970)
Reports of the Midwest Category Seminar II /
Published: (1968)
Published: (1968)
Classifying spaces and classifying topoi /
by: Moerdijk, Ieke
Published: (1995)
by: Moerdijk, Ieke
Published: (1995)
Reports of the Midwest category seminar IV /
Published: (1970)
Published: (1970)
Rings with Morita duality /
by: Xue, Weimin, 1957-
Published: (1992)
by: Xue, Weimin, 1957-
Published: (1992)
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Published: (1995)
Published: (1995)
Algebra in a localic topos with application to ring theory /
by: Borceux, Francis, 1948-
Published: (1983)
by: Borceux, Francis, 1948-
Published: (1983)
Towards higher categories /
Published: (2010)
Published: (2010)
Category theory, homology theory and their applications : proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24-July 19, 1968.
Published: (1969)
Published: (1969)