A topos for continuous logic
| Authors |
|
|---|---|
| Publication date | 2022 |
| Journal | Theory and Applications of Categories |
| Article number | 28 |
| Volume | Issue number | 38 |
| Pages (from-to) | 1108–1135 |
| Organisations |
|
| Abstract |
We suggest an ordering for the predicates in continuous logic so that the semantics of continuous logic can be formulated as a hyperdoctrine. We show that this hyperdoctrine can be embedded into the hyperdoctrine of subobjects of a suitable Grothendieck topos. For this embedding we use a simplification of the hyperdoctrine for continuous logic, whose category of equivalence relations is equivalent to the category of complete metric spaces and uniformly continuous maps. |
| Document type | Article |
| Language | English |
| Published at | http://www.tac.mta.ca/tac/volumes/38/28/38-28abs.html |
| Permalink to this page | |