maths.free › Category Theory

Category Theory

Objects, arrows, functors, universal properties: mathematics about mathematics.

레슨

Advanced Categories, functors and natural transformations Objects and arrows, composition, and maps between categories. {1,2} union {3} Advanced Universal properties, limits and adjunctions Products, coproducts, limits and the adjunctions that unify constructions. lcm(4, 6)

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.

더 많은 레슨

Objects and arrows

Category theory Category (mathematics)Morphism Isomorphism Functor Natural transformation Opposite category Subcategory Commutative diagram

Universal constructions

Universal property Product (category theory)Coproduct Limit (category theory)Pullback (category theory)Initial and terminal objects Adjoint functors Yoneda lemma Equivalence of categories

Structures

Monoidal category Monad (category theory)Abelian category Topos Higher category theory Homological algebra

이러한 교훈 중 일부는 개방된 텍스트에서 적용됩니다. Wikipedia. 각 레슨 페이지는 소스와 라이선스를 명시합니다.

여기서 사용된 기호

기호를 탭하면 전체 정의, 이미지 및 각 문자의 의미를 확인할 수 있습니다.

사람들이 묻는 질문

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.

자신의 문제가 있습니까?
솔버 페이지에 답을 입력하거나 그려보세요. 모든 단계, 그림, 답은 질문할 때까지 숨겨져 있습니다. 해결 →

다른 지점

＋ 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