Timeline for Any example of a non-strong monad?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 26, 2017 at 14:59 | comment | added | Robert Furber | Ah yes, all diagrams in a poset commute. For an explict $X$ and $Y$ you could take, e.g. $\mathbb{I}, \mathbb{Q}$ as the irrationals and rationals respectively. Then $\mathbb{I} \cap \overline{\mathbb{Q}} = \mathbb{I} \cap \mathbb{R} = \mathbb{I}$, but $\overline{\mathbb{I} \cap \mathbb{Q}} = \overline{\emptyset} = \emptyset$. | |
| May 23, 2017 at 15:08 | history | undeleted | n. m. could be an AI | ||
| May 23, 2017 at 15:04 | history | deleted | n. m. could be an AI | via Vote | |
| May 23, 2017 at 14:33 | review | First posts | |||
| May 23, 2017 at 14:48 | |||||
| May 23, 2017 at 14:28 | history | answered | n. m. could be an AI | CC BY-SA 3.0 |