Timeline for What algebraic structure controls endomorphisms of algebras over a Lawvere theory
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 9, 2023 at 15:19 | comment | added | Peter LeFanu Lumsdaine | When you describe $\mathbb{T}_\mathrm{End}$ as “with … a single unary operation” you presumably mean “generated by a single unary operation” (it will end up having $\mathbb{N}$-many unary operations, the powers of the endomorphism). | |
| Nov 8, 2023 at 20:35 | vote | accept | Grisha Taroyan | ||
| S Nov 8, 2023 at 19:12 | review | First answers | |||
| Nov 8, 2023 at 19:14 | |||||
| S Nov 8, 2023 at 19:12 | history | answered | Rafaël Bocquet | CC BY-SA 4.0 |