Timeline for What was Burroni's sketch for topological spaces?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 27, 2017 at 16:59 | comment | added | Kevin Carlson | Ah, great, I understand. | |
| Jul 27, 2017 at 7:47 | comment | added | Philippe Gaucher | @KevinCarlson Yes this proves that the topological spaces are the models of a large (i.e. non-small) limit sketch. My answer was about your very last question. You can find an explicit description of the axioms in Example 5.4 of J. Rosický's paper (which is in open access, you just have to google the title). | |
| Jul 27, 2017 at 4:42 | comment | added | Kevin Carlson | Thanks very much, Philippe! I suppose that this constructs spaces as the models of a non-small limit sketch. So I still wonder why Burroni's sketch was cited as an interesting example of a mixed sketch. | |
| Jul 27, 2017 at 0:48 | history | edited | Philippe Gaucher | CC BY-SA 3.0 |
deleted 24 characters in body
|
| Jul 27, 2017 at 0:36 | history | answered | Philippe Gaucher | CC BY-SA 3.0 |