Theories, Sites, Toposes

Caramello, O. (2018). Theories, Sites, Toposes: Relating and Studying Mathematical Theories through Topos-Theoretic Bridges. Oxford University Press.

Type

Book

Intellectual base

Review or monograph

Year

2018

Pages cited

39-40

ISBN

9780198758914

Link

https://pages.jh.edu/rrynasi1/FoundationsOFMath/Literature/Textbooks/Caramello2018TheoriesSites%2BToposes.pdf

Cited by

2 citations across 2 artifacts.

Domain-specific

• Coherent category
  • … existential quantification and finite disjunction represented by the coherent categorical operations to A coherent functor from a small coherent category into Set acts as a model whose interpretation preserves finite limits, regular images and finite unions of definable subobjects demonstrates that continuity.
• Topos
  • The ordinary category of sets is one instance, not the definition.

Verification

Does it exist? Confirmed. This work's ISBN resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.

Was it audited? Yes. A second, independent pass read the citation against the article text and recorded a verdict.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:e25064cca287 · see in the full table