Tuesday, May 3, 2011

geometric morphisms ...

_sheaf_(x,[???local iso ... ???]) -> _presheaf_(x) <- _presheaf_(x_[local iso])

... ???? ....

??"coequalizer of kernel pair ..." ... ???... ???toy example ??? ... ??? ....

No comments:

Post a Comment