Titlebook: Categorical Topology; Proceedings of the L Eraldo Giuli Conference proceedings 1996 Kluwer Academic Publishers 1996 Category theory.Compact

不公開

On the Largest Coreflective Cartesian Closed Subconstruct of ,,, coreflective subconstruct, exponential objects are precisely those objects of the subconstruct that are finitely generated. We give a counterexample showing that without finite productivity the previous result does not hold.

Folklore

,α-Sober Spaces via the Orthogonal Closure Operator,eover, we obtain an order-preserving bijective correspondence between a proper class of ordinals and the corresponding (epi)reflective hulls. Our main tool is the concept of orthogonal closure operator, first introduced in [12].

Kernel

NIL

Parametrizing the Theory of Closure Operators,re of the lattice of all closure operators. A suitable adjustment of the notion of orthogonality between composable pairs enables us to develop the theory to a large extent parallel to the theory of all closure operators.

任命