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.
Ejemplo resuelto · {1,2} union {3}
{1,2} union {3}
Paso a paso
- 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|.
Revelar la respuesta
Ahora tú Escoge un problema, o escribe o dibuja el tuyo. Cada paso, una imagen, la respuesta oculta hasta que preguntes.
Una cuenta gratuita añade notas sobre cada lección, un registro de lo que has terminado, tus problemas resueltos en un lugar, y un tutor que puedes preguntar sobre esta página. Las matemáticas en sí están abiertas a todos, se han registrado o no.
Registrarse Inicio de sesiónSímbolos utilizados aquí
Toque cualquier símbolo para la definición completa, una imagen, y lo que cada letra en ella significa.
Cómo: Categories, functors and natural transformations
- The two sets.
- Keep everything in either set.
- Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.
Preguntas que la gente hace
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.