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

A categorical approach to imprimitivity theorems for C*-dynamical systems

Echterhoff, Siegfried, 1960- author.
Providence, Rhode Island : American Mathematical Society, [2006] 2006

Categorical framework for the study of singular spaces

Fulton, William, 1939- author.
Providence, Rhode Island : American Mathematical Society, [1981] 1981

Categorical logic and type theory

Jacobs, Bart.
Amsterdam ; New York : Elsevier Science, ©1999. 1999

Categories for the working mathematician

Mac Lane, Saunders, 1909-2005
New York, Springer-Verlag [c1971] 1971

Categories of modules over endomorphism rings

Faticoni, Theodore G. (Theodore Gerard), 1954- author.
Providence, Rhode Island : American Mathematical Society, 1993. 1993

Categorification and higher representation theory

Providence, Rhode Island : American Mathematical Society, 2017. 2017

Categorification in geometry, topology, and physics

Providence, Rhode Island : American Mathematical Society, 2017. 2017

Complicial sets characterising the simplical nerves of strict [omega]-categories

Verity, Dominic, 1966- author.
Providence, Rhode Island : American Mathematical Society, [2008] 2008

Equivariant orthogonal spectra and S-modules

Mandell, M. A., 1970- author.
Providence, Rhode Island : American Mathematical Society, 2002. 2002

Extended graphical calculus for categorified quantum sl(2)

Providence, Rhode Island : American Mathematical Society, 2011. 2011

Extensions of positive operators between Banach lattices

Cartwright, Donald I., 1949- author.
Providence : American Mathematical Society, [1975] 1975

Filtrations and buildings

Cornut, Christophe, 1972- author.
Providence, Rhode Island : American Mathematical Society, [2020] 2020

Forcing and classifying topoi

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

Functorial knot theory categories of tangles, coherence, categorical deformations, and topological i

Yetter, David N.
Singapore ; River Edge, NJ : World Scientific, c2001. 2001

A functorial model theory : newer applications to algebraic topology, descriptive sets, and computin

Nourani, Cyrus F.
Waretown, NJ : Apple Academic Press, Inc., [2014] 2014

G-categories

Gordon, Robert, 1935- author.
Providence, Rhode Island : American Mathematical Society, 1993. 1993

A general character theory for partially ordered sets and lattices

Hofmann, Karl Heinrich, author.
Providence, Rhode Island : American Mathematical Society, 1972. 1972

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

Homotopical algebraic geometry II : geometric stacks and applications

Toen, Bertrand, 1973- author.
Providence, Rhode Island : American Mathematical Society, [2008] 2008

Homotopy theory of diagrams

Chacholski, Wojciech, 1968- author.
Providence, Rhode Island : American Mathematical Society, [2002] 2002

Infinite-dimensional representations of 2-groups

Providence, Rhode Island : American Mathematical Society, 2011. 2011

An introduction to category theory

Simmons, Harold.
Cambridge ; New York : Cambridge University Press, 2011. 2011

The lattice of interpretability types of varieties

Garcia, O. C. (Octavio Carlos), 1933- author.
Providence, Rhode Island : American Mathematical Society, 1984. 1984

Modern algebra and the rise of mathematical structures

Corry, Leo, 1956-
Basel ; Boston : Birkhauser Verlag, c2004. 2004

Ordinal invariants in topology

Kannan, V., author.
Providence, Rhode Island : American Mathematical Society, [1981] 1981

Points on quantum projectivizations

Nyman, Adam, 1972- author.
Providence, Rhode Island : American Mathematical Society, [2004] 2004

Precis de mathematiques approfondies et fondamentales.

Bourles, Henri, author.
London, England : ISTE Editions Ltd., [2018] 2018

The reductive subgroups of F4

Stewart, David I., 1981- author.
Providence, Rhode Island : American Mathematical Society, 2012. 2012

S-modules in the category of schemes

Hu, Po, 1974- author.
Providence, Rhode Island : American Mathematical Society, 2003. 2003

Separable algebroids

Mitchell, Barry, author.
Providence, Rhode Island : American Mathematical Society, 1985. 1985

Sets, logic, and categories

Cameron, Peter J. (Peter Jephson), 1947- author.
London ; New York : Springer, [1998] 1998

Simplicial methods and the interpretation of "triple" cohomology

Duskin, John Williford, 1937- author.
Providence, Rhode Island : American Mathematical Society, [1975] 1975

The spectrum of a module category

Krause, Henning, 1962- author.
Providence, Rhode Island : American Mathematical Society, 2001. 2001

Triangulated categories

Neeman, Amnon, author.
Princeton, New Jersey : Princeton University Press, 2001. 2001