Title of article :
Morphism classes producing (weak) Grothendieck topologies, (weak) Lawvere{Tierney topologies, and universal closure operations
Author/Authors :
HOSSEINI, Naser shahid bahonar university of kerman - College of Mathematics and Computer - Department of Mathematics, كرمان, ايران , NODEHI, Mehdi shahid bahonar university of kerman - College of Mathematics and Computer - Department of Mathematics, كرمان, ايران
From page :
818
To page :
829
Abstract :
In this article, given a category X, with Omega the subobject classifier in Set^{X^{op}, we set up a one-to-one correspondence between certain (i) classes of X-morphisms, (ii) Omega-subpresheaves, (iii) Omega-automorphisms, and (iv) universal operators. As a result we give necessary and sufficient conditions on a morphism class so that the associated (i) Omega-subpresheaf is a (weak) Grothendieck topology, (ii) Omega-automorphism is a (weak) Lawvere--Tierney topology, and (iii) universal operation is an (idempotent) universal closure operation. We also finally give several examples of morphism classes yielding (weak) Grothendieck topologies, (weak) Lawvere--Tierney topologies, and (idempotent) universal closure operations.
Keywords :
(Preordered) morphism class , Omega , subpresheaf , (weak) Grothendieck topology , Omega , automorphism , (weak) Lawvere , , Tierney topology , universal operation , (idempotent) universal closure operation
Journal title :
Turkish Journal of Mathematics
Journal title :
Turkish Journal of Mathematics
Record number :
2531404
Link To Document :
بازگشت