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.
Contoh soal · {1,2} union {3}
{1,2} union {3}
Langkah demi langkah
- 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|.
Tampilkan jawaban
Sekarang Anda Pilih soal, atau ketik atau gambar soal Anda sendiri. Setiap langkah, sebuah gambar, jawabannya tersembunyi sampai Anda memintanya.
Sebuah akun gratis menambahkan catatan pada setiap pelajaran, catatan apa yang telah Anda selesaikan, masalah yang Anda selesaikan di satu tempat, dan tutor yang dapat Anda tanyakan tentang halaman ini. matematika itu sendiri terbuka untuk semua orang, ditandatangani atau tidak.
Daftar MasukSimbol yang digunakan di sini
Sentuh simbol apapun untuk definisi lengkap, gambar, dan apa setiap huruf di dalamnya berarti.
Bagaimana: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Pertanyaan yang sering diajukan
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.