Repleteness and the associated sheaf
From MaRDI portal
Publication:1295499
DOI10.1016/S0022-4049(96)00151-XzbMath0933.18004MaRDI QIDQ1295499
Giuseppe Rosolini, Anna Bucalo
Publication date: 16 August 1999
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
repleteness; elementary topos; associated sheaf functor; iterated power-objects; Lawvere-Tierney topology
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
18B25: Topoi
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
Related Items
Cites Work
- Sheaves in geometry and logic: a first introduction to topos theory
- A proof of the associated sheaf theorem by means of categorical logic
- Localization and Sheaf Reflectors
- Colimits in Topoi
- The S-replete construction
- Aspects of topoi: Corrigenda and acknowledgements
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item