Abstrakt
A class of objects F, representing finiteness, of a category C gives rise to a Loc-category C'. The spectrum of C' is the original C, appropriately topolgized.
C'(A,B) can be non-trivial even when C(A,B) is.
A class of objects F, representing finiteness, of a category C gives rise to a Loc-category C'. The spectrum of C' is the original C, appropriately topolgized.
C'(A,B) can be non-trivial even when C(A,B) is.