不公开
发表于 2025-4-1 05:27:36
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
发表于 2025-4-1 06:41:14
,α-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 .
Kernel
发表于 2025-4-1 13:33:50
http://reply.papertrans.cn/23/2226/222534/222534_63.png
NIL
发表于 2025-4-1 16:05:15
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.
任命
发表于 2025-4-1 18:59:21
http://reply.papertrans.cn/23/2226/222534/222534_65.png