¿Hay ejemplos de Funtor fiel $F:\mathbf{Rel}\to \mathbf C$, donde C es una categoría concreta sobre sistema de? ¿O puede ser demostrado que no existe tal versión?
Respuesta
¿Demasiados anuncios?
$\mathrm{Rel}$ es concretizable por el Funtor $U : \mathrm{Rel} → \mathrm{Set}$ definida objetos por $UA = 2^A$ y en morfismos como una imagen generalizada. Dada una relación %#% set #% y un subconjunto $R ⊆ A × B$, $X ⊆ A$.
Para obtener otros ejemplos de Funtor fiel $UR(X) = \{b ∈ B : \exists x ∈ X, \; xRb\}$, ahora puede componer fiel i $\mathrm{Rel} → \mathscr C$ $U$.
