Category Theory
Explore objects and maps; universal constructions; representability and algebra. Concepts and connections are available independently of video coverage.
FOLLOW AN IDEA
Adjunctions
An adjunction relates morphism sets naturally between two functors.
Explore concept graph · Explore connected videos
Different ways to understand it
No reviewed video yet. Explore the concept in a map or suggest a resource. Suggest a video
More concepts to explore
Limits and colimits
Limits and colimits generalize universal constructions over diagrams of objects and arrows.
Universal properties
A universal property characterizes an object by unique compatible maps.
Abelian categories
An abelian category supports additive structure, kernels, cokernels and exactness with compatible axioms.
Categorical isomorphisms
A morphism is an isomorphism when it has a two-sided compositional inverse.
Categories
A category has objects, morphisms, associative composition and identity morphisms.
Knowledge connections
- Limits and colimits · Related · Map context
- Universal properties · Related · Map context