Repleteness and the associated sheaf (Q1295499): Difference between revisions

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.

0 references

Mathematics Subject Classification ID

18B25

0 references

0 references

0 references

0 references

0 references

associated sheaf functor

0 references

Lawvere-Tierney topology

0 references

elementary topos

0 references

repleteness

0 references

iterated power-objects

0 references

reviewed by

Peter T. Johnstone

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Aspects of topoi: Corrigenda and acknowledgements

0 references

Q3978973

0 references

The S-replete construction

0 references

Q4145861

0 references

Q5664068

0 references

Localization and Sheaf Reflectors

0 references

Q5662560

0 references

Sheaves in geometry and logic: a first introduction to topos theory

0 references

Colimits in Topoi

0 references

Q3213287

0 references

A proof of the associated sheaf theorem by means of categorical logic

0 references

Q4085903

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1295499

@@ Property / reviewed by @@
+Peter T. Johnstone
@@ Property / reviewed by: Peter T. Johnstone / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582216
@@ Property / cites work: Q5582216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4773847
@@ Property / cites work: Q4773847 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4141378
@@ Property / cites work: Q4141378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3658170
@@ Property / cites work: Q3658170 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi: Corrigenda and acknowledgements
@@ Property / cites work: Aspects of topoi: Corrigenda and acknowledgements / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978973
@@ Property / cites work: Q3978973 / rank @@
+Normal rank
@@ Property / cites work @@
+The S-replete construction
@@ Property / cites work: The S-replete construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5664068
@@ Property / cites work: Q5664068 / rank @@
+Normal rank
@@ Property / cites work @@
+Localization and Sheaf Reflectors
@@ Property / cites work: Localization and Sheaf Reflectors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5662560
@@ Property / cites work: Q5662560 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Colimits in Topoi
@@ Property / cites work: Colimits in Topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3213287
@@ Property / cites work: Q3213287 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the associated sheaf theorem by means of categorical logic
+Normal rank
@@ Property / cites work @@
+Q4085903
@@ Property / cites work: Q4085903 / rank @@
+Normal rank