Category Theory
Explore objects and maps; universal constructions; representability and algebra. Concepts and connections are available independently of video coverage.
FOLLOW AN IDEA
Yoneda lemma
Maps from a representable functor into a functor correspond naturally to an element at its representing object.
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
Abelian categories
An abelian category supports additive structure, kernels, cokernels and exactness with compatible axioms.
Equivalence of categories
Functors inverse up to natural isomorphism express equivalence without literal equality of categories.
Function composition
Composition applies one function after another where the output fits the next domain.
Universal properties
A universal property characterizes an object by unique compatible maps.
Adjunctions
An adjunction relates morphism sets naturally between two functors.
Knowledge connections
- Equivalence of categories · Related · Map context
- Abelian categories · Related · Map context
- Universal properties · Related · Map context
- Function composition · Related · Map context