1989

Accessible categories : the foundations of categorical model theory

Makkai, Mihály, 1939- author.

Providence, Rhode Island : American Mathematical Society, [1989]

 

1993

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, Mihály, 1939- author.

Providence, Rhode Island : American Mathematical Society, 1993

 

1992

Elementary categories, elementary toposes

McLarty, Colin.

Oxford : Clarendon Press ; New York : Oxford University Press, 1992

Request It 

2020

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

Breitholtz, Ellen, author

Leiden ; Boston : Brill, 2020

 

1984

An extension of the Galois theory of Grothendieck

Joyal, André



 

2013

A first course in topos quantum theory

Flori, Cecilia.



 

1984

Forcing and classifying topoi

Ščedrov, Andrej, 1955-



 

1989

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

Blass, Andreas, 1947- author.

Providence, Rhode Island : American Mathematical Society, 1989

 

2020

Higher orbifolds and Deligne-Mumford stacks as structured infinity-topoi

Carchedi, David Joseph, author

Providence, RI : American Mathematical Society, [2020]

 

2009

Higher topos theory

Lurie, Jacob, 1977-



 

2009

Higher Topos Theory (AM-170)

 

2000

Proper maps of toposes

Moerdijk, Ieke



 

1992

Sheaves in Geometry and Logic : a First Introduction to Topos Theory

Mac Lane, Saunders
N