Timeline for Surreal Numbers as Inductive Type?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25, 2019 at 1:17 | comment | added | Mike Shulman | @Bob There is some discussion of presentations of monads in arxiv.org/abs/math/0702535 and in the particular case of HITs in arxiv.org/abs/1705.07088. Informally, a presentation of a monad is a way to construct it out of free monads on endofunctors and colimits in the category of monads. | |
| Mar 24, 2019 at 22:44 | comment | added | Bob | What is a "presented monad". Even Google does not seem to know about that thing :) | |
| Jan 22, 2015 at 12:11 | vote | accept | Todd Trimble | ||
| Jan 22, 2015 at 6:41 | history | answered | Mike Shulman | CC BY-SA 3.0 |