User:Owsteele/Books/CategoryTheory

Category Theory

edit
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