Category Theory

GPTKB entity

Statements (114)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:algebra
gptkb:logic
gptkb:topology
computer science
gptkbp:hasConcept gptkb:Functor
gptkb:algebra
gptkb:topology
gptkb:website
gptkb:fiber
gptkb:operating_system
gptkb:homotopy_category
gptkb:Yoneda_lemma
gptkb:monoidal_category
musical composition
end
Grothendieck topology
morphism
sheaf
object
mermaid
limit
abelian category
derived category
isomorphism
long exact sequence
t-structure
2-category
additive category
adjoint functor
adjunction
braided monoidal category
cartesian closed category
closed monoidal category
coend
coequalizer
colimit
comma category
coproduct
enriched category
epimorphism
equalizer
equivalence of categories
essentially surjective functor
exact sequence
faithful functor
fiber product
fibered category
full functor
functor category
higher category
hom-set
ind-category
initial object
internal category
lax functor
model category
monoid
monomorphism
n-category
natural transformation
pointed category
preadditive category
presheaf
procategory
profunctor
pullback
pushout
representable functor
slice category
split epimorphism
split monomorphism
stack
strict functor
subobject classifier
symmetric monoidal category
terminal object
triangulated category
universal arrow
universal mapping property
universal morphism
universal property
zero object
coalgebra
short exact sequence
free object
bicategory
cartesian product
cofiber product
cokernel
commutative diagram
comonad
diagram chase
equivalence of functors
external category
forgetful functor
identity morphism
ind-object
lax natural transformation
motivic category
opfibration
opposite category
pro-object
split exact sequence
strict natural transformation
https://www.w3.org/2000/01/rdf-schema#label Category Theory
gptkbp:introduced gptkb:Saunders_Mac_Lane
gptkb:Samuel_Eilenberg
gptkbp:introducedIn 1945
gptkbp:studies categories
functors
natural transformations
gptkbp:bfsParent gptkb:Monads
gptkbp:bfsLayer 6