Welcome to the Kids' Library!

Accessible categories : the foundations of categorical model theory

Makkai, Mihaly, 1939- author.
Providence, Rhode Island : American Mathematical Society, [1989] 1989

Axiomization of passage from "local" structure to "global" object

Feit, Paul, 1959- author.
Providence, Rhode Island, United States : American Mathematical Society, 1993. 1993

Duality and definability in first order logic

Makkai, Mihaly, 1939- author.
Providence, Rhode Island : American Mathematical Society, 1993. 1993

Enthymemes and topoi in dialogue : the use of common sense reasoning in conversation

Breitholtz, Ellen, author.
Leiden ; Boston : Brill, 2020. 2020

An extension of the Galois theory of Grothendieck

Joyal, Andre, author.
Providence, Rhode Island : American Mathematical Society, 1984. 1984

Forcing and classifying topoi

Scedrov, Andrej, 1955- author.
Providence, R.I., USA : American Mathematical Society, [1984] 1984

Freyd's models for the independence of the axiom of choice

Blass, Andreas, 1947- author.
Providence, Rhode Island : American Mathematical Society, 1989. 1989

Higher orbifolds and deligne-mumford stacks as structured infinity-topoi

Carchedi, David Joseph, author.
Providence, RI : American Mathematical Society, 2020. 2020

Higher topos theory

Lurie, Jacob, 1977-
Princeton, N.J. : Princeton University Press, 2009. 2009

Proper maps of toposes

Moerdijk, Ieke, author.
Providence, Rhode Island : American Mathematical Society, [2000] 2000

Sheaves in geometry and logic : a first introduction to topos theory

Mac Lane, Saunders, 1909-2005, author.
New York : Springer-Verlag, [1992] 1992