maths.free › Category Theory
Category Theory
Instead of asking what things are, ask how they map to each other. Category theory finds the same pattern — a product, a limit, an adjunction — recurring across every branch, and gives it one name.
Izifundo
{1,2} union {3}
Advanced
Universal properties, limits and adjunctions
Products, coproducts, limits and the adjunctions that unify constructions.
lcm(4, 6)
Symbols used here
A structure-preserving map between categories; a map between functors.
The set of morphisms; do g then f.
Questions people ask
What is a functor?
A map between categories that sends objects to objects and arrows to arrows while respecting composition. Taking the fundamental group of a space is a functor from spaces to groups.
Okunye
＋ Arithmetic𝑥 Algebra△ Geometry∿ Trigonometryƒ Precalculusσ Statistics & Probability⊢ Discrete Math & Logic∫ Calculus⊞ Linear Algebraℕ Number Theoryẏ Differential Equations∇ Multivariable Calculusε Real Analysis⋔ Combinatorics & Graph Theory∈ Set Theory & Logic𝔾 Abstract Algebra𝑃 Probability Theory≈ Numerical Methodsℂ Complex Analysis◎ Topologyμ Measure Theory‖·‖ Functional Analysisκ Differential Geometryπ₁ Algebraic Topology∞ Frontiers