En matemáticas , específicamente en la teoría de categorías , la categoría de categorías pequeñas , denotada por Cat , es la categoría cuyos objetos son todas categorías pequeñas y cuyos morfismos son functores entre categorías. En realidad, el gato puede considerarse como una categoría 2 con transformaciones naturales que sirven como 2 morfismos .
El objeto inicial de Cat es la categoría 0 vacía , que es la categoría sin objetos y sin morfismos. [1] El objeto terminal es la categoría terminal o categoría trivial 1 con un solo objeto y morfismo. [2]
La categoría Gato es en sí misma una categoría grande y, por lo tanto, no es un objeto en sí misma. Para evitar problemas análogos a la paradoja de Russell, no se puede formar la "categoría de todas las categorías". Pero es posible formar una cuasicategoría (es decir, los objetos y los morfismos simplemente forman un conglomerado ) de todas las categorías.
Este functor olvida los morfismos de identidad de una categoría dada, y olvida las composiciones de morfismos. El adjunto izquierdo de este functor es un functor F que lleva a Quiv a las categorías libres correspondientes :