Timeline for Is the theory of the adjunction operation, used for algebraization of hereditarily finite set theory, algebraizable?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 16, 2021 at 14:58 | history | edited | Ioachim Drugus | CC BY-SA 4.0 |
edited title
|
| Nov 16, 2021 at 9:44 | answer | added | Andrej Bauer | timeline score: 2 | |
| Nov 16, 2021 at 9:23 | comment | added | Andrej Bauer | Ah! We have $x \in y \iff y = y \cup \{x\}$, so it is doable. | |
| Nov 16, 2021 at 9:21 | comment | added | Andrej Bauer | If you mean "algebraic theory" in the sense of universal algebra, then what are we to do about the relation symbol $\in$? If you mean the more general notion of an algebraic theory as a monad, then I believe this can be done (but the choice of particular operations disappears). | |
| Nov 16, 2021 at 0:21 | history | edited | LSpice | CC BY-SA 4.0 |
Links to articles; uniformised formatting
|
| Nov 15, 2021 at 22:10 | history | asked | Ioachim Drugus | CC BY-SA 4.0 |