Timeline for When does a lax monad morphism induce a functor between categories of algebras that preserves reflexive coequalisers?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| yesterday | comment | added | Zhen Lin | I don't even have an answer for the case where $F = \textrm{id}_\textbf{Set}$... at least it would have to be the case that the $S$-congruence generated by a reflexive relation is the same as the $T$-congruence generated by the same reflexive relation... | |
| yesterday | history | asked | varkor | CC BY-SA 4.0 |