Closure operators in exact completions
Material type:
ArticlePublication details: ref_localidad@NULL : , 2001Description: 1 archivo (205,8 kB)Subject(s): Online resources: Summary: In analogy with the relation between closure operators in presheaf toposes and Grothendieck topologies, we identify the structure in a category with finite limits that corresponds to universal closure operators in its regular and exact completions. The study of separated objects in exact completions will then allow us to give conceptual proofs of local cartesian closure of different categories of pseudo equivalence relations. Finally, we characterize when certain categories of sheaves are toposes.
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca Fac.Informática | A0460 (Browse shelf(Opens below)) | Available | DIF-A0460 |
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
In analogy with the relation between closure operators in presheaf toposes and Grothendieck topologies, we identify the structure in a category with finite limits that corresponds to universal closure operators in its regular and exact completions. The study of separated objects in exact completions will then allow us to give conceptual proofs of local cartesian closure of different categories of pseudo equivalence relations. Finally, we characterize when certain categories of sheaves are toposes.
Theory and Applications of Categories, 8(21), 2001, pp. 522-540.
There are no comments on this title.