category theory

Computing portal

Here is a list of articles in the Category theory category of the Computing portal that unifies foundations of mathematics and computations using computers. Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.

## Contents

* Top
* 0–9
* A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

## Subcategories

This category has the following 11 subcategories, out of 11 total.

###

* Morphisms (2 C, 32 P)

### C

* Categorical logic (1 C, 8 P)

### D

* Duality theories (2 C, 53 P)

### F

* Free algebraic structures (24 P)

* Functors (1 C, 55 P)

### H

* Higher category theory (52 P)

* Homological algebra (6 C, 130 P)

### L

* Limits (category theory) (18 P)

### O

* Objects (category theory) (1 C, 13 P)

### S

* Sheaf theory (2 C, 62 P)

### T

* Topos theory (20 P)

## Pages in category "Category theory"

The following 200 pages are in this category, out of 217 total.

(previous page) (next page)

###

* Category theory

### *

* Category (mathematics)
* Glossary of category theory
* Outline of category theory

### 2

* 2-Yoneda lemma

### 3

* 3-category

### A

* AB5 category
* Abstract elementary class
* Tame abstract elementary class
* Abstract nonsense
* Accessible category
* Accessible quasi-category
* Accessible ∞-category
* Adhesive category
* Allegory (category theory)
* Allegory (mathematics)
* Anamorphism
* Applied category theory
* Associativity isomorphism
* Auto magma object

### B

* Balanced category
* Beck's monadicity theorem
* Beck–Chevalley condition
* Bousfield localization
* Brown's representability theorem
* Bruguières modularity theorem
* Bundle (mathematics)
* Burnside category

### C

* Cartesian monoidal category
* Catamorphism
* Categorical probability
* Physics:Categorical quantum mechanics
* Categorical set theory
* Categorical topology
* Categorical trace
* Categories for the Working Mathematician
* Categorification
* Category algebra
* Center (category theory)
* Charity (programming language)
* Chu space
* Codensity monad
* Coherence condition
* Coimage
* Coinduction
* Cokernel
* Commutative diagram
* Compact object (mathematics)
* Completions in category theory
* Compositional game theory
* Concrete category
* Cone (category theory)
* Conservative functor
* Core of a category
* Corecursion
* Corestriction
* Cosheaf
* Cosmos (category theory)
* Cotangent complex
* Cotriple homology

### D

* Day convolution
* Descent (mathematics)
* Diagonal functor
* Dialectica space
* DisCoCat
* Distributive category
* Double category
* Double groupoid
* Dual (category theory)
* Duality theory for distributive lattices

### E

* Eckmann–Hilton argument
* Element (category theory)
* Embedding
* Endomorphism ring
* Enriched category
* Envelope (category theory)
* Equivalence of categories
* Esquisse d'un Programme
* Essential monomorphism
* Exact completion
* Extensive category

### F

* F-algebra
* F-coalgebra
* Factorization system
* Fiber functor
* Fibrations of graphs
* Fibred category
* Filtered category
* Finitely generated object
* Fraïssé limit
* Freyd cover
* List of types of functions
* Fusion category

### G

* Gabriel–Popescu theorem
* Gamma-object
* Generalized metric space
* Generator (category theory)
* Giraud subcategory
* Giry monad
* Global element
* Globular set
* Graded category
* Grothendieck category
* Grothendieck construction
* Grothendieck universe
* Grothendieck's Galois theory
* Grothendieck's relative point of view
* Groupoid
* Groupoid object

### H

* H-object
* Higher-dimensional algebra
* Homotopy category of an ∞-category
* Homotopy colimit
* Hopfian object
* Hylomorphism (computer science)

### I

* Image (category theory)
* Indexed category
* Indiscrete category
* Induced homomorphism
* Induced homomorphism (quotient group)
* Initial algebra
* Injective cogenerator
* Injective object
* Inserter category
* Interchange law
* Internal category
* Isbell conjugacy
* Isbell duality
* Isomorphism-closed subcategory

### K

* K-theory of a category
* Kan extension
* Karoubi envelope
* Kernel (category theory)
* Krohn–Rhodes theory
* Krull–Schmidt category

### L

* Lax functor
* Lax natural transformation
* Lie operad
* Lift (mathematics)
* Lifting property
* Limit and colimit of presheaves
* Localization of a category
* Localizing subcategory

### M

* Mac Lane coherence theorem
* Philosophy:Mathematical object
* Model category
* Modular group representation
* Modular tensor category
* Monad (category theory)
* Monadic descent
* Monoid
* Multicategory

### N

* Nerve (category theory)
* Nodal decomposition

### O

* Olog
* Operad
* Operad theory
* Opetope
* Opposite category
* Overcategory

### P

* Permutation category
* Point-surjective morphism
* Pointed set
* Pointless topology
* Polyad
* Polygraph (mathematics)
* Posetal category
* *-algebra
* Product category
* Projective cover
* Pseudo-abelian category
* Pseudoalgebra
* Pulation square

### Q

* Quantaloid
* Quiver (mathematics)
* Quotient category
* Quotient of an abelian category

### R

* R-algebroid
* Rank-finiteness
* Reedy category

### S

* Schauenburg–Ng theorem
* Section (category theory)
* Segal category
* Segal space
* Seifert–van Kampen theorem
* Seifert–Van Kampen theorem
* Semiautomaton
* Semigroupoid
* Sieve (category theory)
* Simplicial localization
* Size functor
* Skeleton (category theory)
* Skeletonization of fusion categories
* Sketch (mathematics)
* Small object argument
* Spherical category
* Stable model category
* Stable module category
* Strictification
* Structural Ramsey theory

(previous page) (next page)

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Category_theory&oldid=512419"