→ Category Theory

Leçons

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.

Autres leçons

Certaines de ces leçons sont adaptées à partir de textes ouverts: Wikipedia. Chaque page de leçon indique sa source et sa licence.

Symboles utilisés ici

Appuyez sur n'importe quel symbole pour la définition complète, une image et ce que signifie chaque lettre.

F: \mathcal{C} \to \mathcal{D}functor, natural transformation
A structure-preserving map between categories; a map between functors.\operatorname{Hom}(Aarrows from A to B, composition
The set of morphisms; do g then f.

Questions posées par les gens

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.

∑ Vous avez votre propre problème ?
Tapez-le ou dessinez-le sur la page du résolveur : chaque étape, une image, la réponse cachée jusqu'à ce que vous le demandiez. Résolvez →

Autres branches

＋ 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∂ Partial Differential Equations≋ Fluid Dynamics∞ Frontiers