Una categoría indiscreta es una categoría C en la que todo conjunto hom-set C ( X , Y ) es un singleton . Cada clase X da lugar a una categoría indiscreta cuyos objetos son los elementos de X con exactamente un morfismo entre dos objetos cualesquiera. Cualesquiera dos categorías indiscretas no vacías son equivalentes entre sí. El functor de Set a Cat que envía un set a la categoría indiscreta correspondiente es adjunto a la derecha al functor que envía una pequeña categoría a su conjunto de objetos.