Repleteness and the associated sheaf
type: Item
instance of: scholarly article
title: Repleteness and the associated sheaf
zbMATH Open document ID: 0933.18004
DOI: 10.1016/S0022-4049(96)00151-X
author: Anna Bucalo
author: Giuseppe Rosolini
published in: Journal of Pure and Applied Algebra
publication date: 1999-08-16T00:00:00Z
review text: The authors give a new construction of the associated sheaf functor for a Lawvere-Tierney topology in an elementary topos, using the idea of `repleteness' first developed in synthetic domain theory. The construction is very simple, but since it involves iterated power-objects it does not readily yield an explicit description of the associated sheaf in particular cases.
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 18A40
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 18F20
zbMATH DE Number: 1308156
zbMATH Keywords: associated sheaf functor
zbMATH Keywords: Lawvere-Tierney topology
zbMATH Keywords: elementary topos
zbMATH Keywords: repleteness
zbMATH Keywords: iterated power-objects
reviewed by: Peter Johnstone
MaRDI profile type: Publication
cites work: Q5582216
cites work: Q3682648
cites work: Q4856547
cites work: Q4773847
cites work: Q4141378
cites work: Q3658170
cites work: Aspects of topoi: Corrigenda and acknowledgements
cites work: Q3978973
cites work: The S-replete construction
cites work: Q4145861
cites work: Q5664068
cites work: Localization and Sheaf Reflectors
cites work: Q5662560
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Colimits in Topoi
cites work: Q3213287
cites work: A proof of the associated sheaf theorem by means of categorical logic
cites work: Q4085903
description: scientific article; zbMATH DE number 1308156