maths.free › Category Theory › Categories, functors and natural transformations
Categories, functors and natural transformations
Objects and arrows, composition, and maps between categories.
A category is objects plus arrows that compose associatively with identities: sets and functions, groups and homomorphisms, spaces and continuous maps. A functor maps one category to another preserving composition. Picture it: a commutative diagram, a square of arrows where both routes agree. Think it: "naturality" makes precise what it means for a construction to involve no arbitrary choices.
Ví dụ đã làm · {1,2} union {3}
{1,2} union {3}
Bước một bước
- A = \left\{1, 2\right\},\quad B = \left\{3\right\}
The two sets.
- A \cup B = \left\{1, 2, 3\right\}
Keep everything in either set.
- |A| = 2,\ |B| = 1,\ |A \cup B| = 3
Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Giải đáp
Now you Chọn một bài toán, hoặc gõ hoặc vẽ của riêng mình. Mỗi bước, một bức tranh, câu trả lời ẩn cho đến khi bạn hỏi.
Ký hiệu được dùng ở đây
Nhấn vào bất kỳ ký hiệu nào để xem định nghĩa đầy đủ, một bức ảnh, và ý nghĩa của từng chữ cái trong nó.
Làm thế nào: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Câu hỏi người ta hỏi
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.