Spazi con operatori e applicazioni al problema di Knaster
Vengono enunciati alcuni risultati concernenti le categorie con involuzione, e in particolare la categoria delle relazioni (o corrispondenze) di una categoria esatta.
In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the category is introduced, as a pair (comonad, monad) over . The link with existing notions in terms of morphism classes is given via the respective Eilenberg–Moore categories.
Page 1 Next