Timeline for What are the (co)algebras for the $(\operatorname{Hom}(A,-), A\otimes-)$ adjunction (co)monad?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 18, 2019 at 18:30 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 4.0 |
added information about the cartesian case
|
| Aug 16, 2019 at 21:39 | history | asked | მამუკა ჯიბლაძე | CC BY-SA 4.0 |