Resulta que encontré la respuesta ya, por mi cuenta
, las sublases que forman subcategorias reflectivas (reflective subcategories) son de dos tipos:
1) cualquier subclase formada por sing
letons (conjuntos de 1 elemento)
2) cualquier subclase S que cumpla lo siguiente: Para todo cardinal k, existe un conjunto en S de cuyo cardinal es k.
Los detalles son bastante bonitos pero tediosos de especificarlos aquí. De cualquier forma, gracias por las visitas!
