enriched category
Sign in to savecategory whose hom sets have additional structure
Connections
strict 2-category
Entity
category
Entity
metric space
Entity
morphism
Entity
preorder
Entity
limit
Entity
monoidal category
Entity
universal property
Entity
adjoint functor
Entity
William Lawvere
Entity
full and faithful functor
Entity
higher category theory
Entity
mathematics
Entity
International Standard Book Number
Entity
vector space
Entity
Cartesian product
Entity
field
Entity
isomorphism
Entity
topological space
Entity
abelian group
Entity