![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
three things have been amazing me lately
Jan. 16th, 2016 08:03 am- K and S combinators are unit and multiplication of an applicative functor
- topological spaces are algebras over codensity monad built from
- Lawvere theories are (algebras of?) a relative monad built from
I suspect all three are related.
What's interesting, none of these facts look like invented or developed; they are discoveries.
- topological spaces are algebras over codensity monad built from
Setf → Set- Lawvere theories are (algebras of?) a relative monad built from
Setf → SetI suspect all three are related.
What's interesting, none of these facts look like invented or developed; they are discoveries.
