On a conjecture by J. H. Smith.
It is shown that the categories of -coalgebras for a commutative unital ring and the category of -corings for some -algebra as well as their respective categories of comodules are locally presentable.
Uno de los problemas abiertos más antiguos de la teoría de grupos categórica es si todo par ortogonal (formado por una clase de grupos y una clase de homomorfismos que se determinan mutuamente por ortogonalidad en el sentido de Freyd-Kelly), se halla asociado a un funtor de localización. Se sabe que esto es cierto si se acepta la validez de un cierto axioma de cardinales grandes (el principio de Vopenka), pero no se conoce ninguna demostración mediante los axiomas ordinarios (ZFC) de la teoría de...