Categoría de categorías pequeñas
Una categoría de categorías pequeñas es una categoría cuyos objetos son categorías pequeñas y cuyos morfismos son funtores entre ellos, denotados por . Se puede ver como una categoría de 2 categorías pequeñas con funtores y transformaciones naturales .
El objeto inicial es una categoría vacía (una categoría sin objetos ni morfismos), el objeto terminal es una categoría trivial que consta de un objeto y un morfismo.
No es un objeto en sí mismo, es decir, no es una pequeña categoría, por ejemplo, porque contiene como subcategoría completa la categoría de los conjuntos (que ya no es una pequeña categoría).
Literatura
- McLane S. Capítulo 1. Categorías, funtores y transformaciones naturales // Categorías para el matemático en activo / Per. De inglés. edición V. A. Artamonova. - M. : Fizmatlit, 2004. - S. 17-42. — 352 págs. — ISBN 5-9221-0400-4 .