Timeline for Eilenberg–Moore algebras in terms of Kleisli ones
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 28, 2021 at 18:44 | comment | added | varkor | The pullback characterisation is due to Linton, and appears as Observation 1.1 of the 1969 paper An Outline of Functorial Semantics. | |
| Jun 21, 2010 at 14:39 | vote | accept | David Carchedi | ||
| Jun 20, 2010 at 21:32 | comment | added | Finn Lawler | @M.S.: (I presume you mean Beck's theorem.) Yes, thanks, that's where I'd seen this before. @N.Z.: Street doesn't attribute this result directly to Linton, but now that I look closely I find he calls it (in the introduction) 'the usual interpretation' of algebras. | |
| Jun 20, 2010 at 20:43 | comment | added | Noam Zeilberger | I've seen this characterization of algebras (as presheaves on the kleisli category) attributed (here: pps.jussieu.fr/~mellies/papers/segal-lics-2010.pdf) to Linton, "Relative functorial semantics: adjointness results", Lecture Notes in Mathematics, vol. 99, 1969. | |
| Jun 20, 2010 at 16:40 | comment | added | Mike Shulman | The fact that every algebra has a canonical presentation by free ones is usually presented as part of the proof of the adjoint functor theorem, e.g. section VI.7 of CWM. | |
| Jun 20, 2010 at 16:19 | history | answered | Finn Lawler | CC BY-SA 2.5 |