An externally saturated class of morphisms in a category C is the class of morphisms that are inverted by some functor F : C ! D. On the other hand, is internally saturated if it coincides with its double orthogonal in the sense of Freyd-Kelly. In this short note we prove that Mor C is an internally saturated class if and only if it is externally saturated and admits a calculus of left fractions.
SATURATION FOR CLASSES OF MORPHISMS
STRAMACCIA, Luciano
2012
Abstract
An externally saturated class of morphisms in a category C is the class of morphisms that are inverted by some functor F : C ! D. On the other hand, is internally saturated if it coincides with its double orthogonal in the sense of Freyd-Kelly. In this short note we prove that Mor C is an internally saturated class if and only if it is externally saturated and admits a calculus of left fractions.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
