Timeline for Images of complemented subobjects in toposes
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 23, 2021 at 22:30 | comment | added | Mendieta | ok. Good example, many thanks. Yet, it is the sort of thing I wanted to avoid with hyperconnectedness. I am not sure how MO works so I hope the following is appropriate: I'll arrow up your answer, consider the question answered by Blass and ask a new question with the further hypotheses. | |
| Jun 23, 2021 at 22:21 | comment | added | Peter LeFanu Lumsdaine | @Mendieta: Yes — sorry, am on mobile so editing/proofreading the maths is tricky. | |
| Jun 23, 2021 at 22:13 | comment | added | Mendieta | please confirm: you mean ${\coprod_n U_n \subseteq \Delta(\mathbb{N}) \times 1}$ ? | |
| Jun 23, 2021 at 21:47 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |