En matemáticas, una categoría coma (siendo un caso especial una sobrecategoría (slice category)) es una construcción en teoría de categorías. Facilita una forma distinta de estudiar morfismos: en lugar de simplemente relacionar los objetos de una categoría entre ellos, se estudian como objetos por sí mismos. Esta noción fue introducida en 1963 por F.W. Lawvere,[1] aunque la técnica no fue generalmente conocida hasta muchos años después.[2] El nombre original (comma category) proviene de la notación originalmente usada por Lawvere, que utilizaba el signo de puntuación coma. Aunque la notación original ha cambiado con el tiempo, el nombre persiste.
Definición
La construcción más general de una categoría coma utiliza dos funtores con el mismo codominio. Normalmente, uno de ellos tendrá dominio 1 (la categoría de un objeto con un solo morfismo) y en la teoría suele considerarse solo este caso, pero el término categoría coma hace referencia a la construcción general.
Supongamos que
,
, y
son categorías, y
y
(en referencia a source y target) son funtores de la forma
. Definimos entonces la categoría coma,
, como aquella que tiene:
- como objetos, todas las tuplas
, donde
es un objeto de
,
es un objeto de
, y
es un morfismo de
.
- como morfismos de
a
, los pares
donde
y
son morfismos de
y de
respectivamente, tales que el siguiente diagrama conmute:
Los morfismos se componen definiendo
como
en aquellos casos en los que la expresión esté bien definida. El morfismo identidad en un objeto
será
.
Referencias
- ↑ Lawvere, William (1963). "Functorial semantics of algebraic theories and some algebraic problems in the context of functorial semantics of algebraic theories."
- ↑ Saunders MacLane "Categories for the working mathematician" pág. 53