User:Owsteele/Books/CategoryTheory

Category Theory

 * 2-category
 * Abelian category
 * Additive category
 * Adjoint functors
 * Allegory (category theory)
 * Amnestic functor
 * Auto magma object
 * Automorphism
 * Beck's monadicity theorem
 * Bicategory
 * Biproduct
 * Braided monoidal category
 * Cartesian closed category
 * Catamorphism
 * Categorical bridge
 * Categorical logic
 * Category (mathematics)
 * Category of abelian groups
 * Category of groups
 * Category of magmas
 * Category of medial magmas
 * Category of metric spaces
 * Category of preordered sets
 * Category of relations
 * Category of rings
 * Category of sets
 * Category of small categories
 * Category of topological spaces
 * Category of vector spaces
 * Category theory
 * Closed monoidal category
 * Coalgebra
 * Coequalizer
 * Coherence condition
 * Combinatorial species
 * Comma category
 * Commutative diagram
 * Complete category
 * Concrete category
 * Cone (category theory)
 * Coproduct
 * Dagger category
 * Dagger compact category
 * Dagger symmetric monoidal category
 * Derived category
 * Derived functor
 * Diagonal functor
 * Diagram (category theory)
 * Dinatural transformation
 * Direct limit
 * Discrete category
 * Distributive law between monads
 * Dual (category theory)
 * End (category theory)
 * Endomorphism
 * Enriched category
 * Epimorphism
 * Equaliser (mathematics)
 * Equivalence of categories
 * Essentially surjective functor
 * Exponential object
 * F-algebra
 * F-coalgebra
 * Fibred category
 * Filtered category
 * Five lemma
 * Forgetful functor
 * Free object
 * Full and faithful functors
 * Functor
 * Functor category
 * Global element
 * Glossary of category theory
 * Group object
 * Groupoid
 * Higher category theory
 * Hom functor
 * Homotopy category
 * Image (category theory)
 * Initial algebra
 * Initial and terminal objects
 * Injective cogenerator
 * Inverse limit
 * Isomorphism
 * Isomorphism of categories
 * Kan extension
 * Kernel (category theory)
 * Limit (category theory)
 * Localization of a category
 * Mitchell's embedding theorem
 * Model category
 * Monad (category theory)
 * Monoidal adjunction
 * Monoidal category
 * Monoidal functor
 * Monoidal natural transformation
 * Monomorphism
 * Morphism
 * N-category
 * Natural number object
 * Natural transformation
 * Nine lemma
 * Normal morphism
 * Opposite category
 * Pre-Abelian category
 * Preadditive category
 * Presheaf (category theory)
 * Product (category theory)
 * Profunctor
 * Pullback (category theory)
 * Pushout (category theory)
 * Reflective subcategory
 * Regular category
 * Representable functor
 * Short five lemma
 * Snake lemma
 * Span (category theory)
 * Strong monad
 * Strongly ribbon category
 * Structure (category theory)
 * Subcategory
 * Subfunctor
 * Subobject
 * Tetracategory
 * Topos
 * Triangulated category
 * Tricategory
 * Universal property
 * Weak equivalence
 * Weak n-category
 * Yoneda lemma
 * Zero morphism