I'm working on a blog about products and coproducts and last night I dreamt about three objects in a category arranged like three-phased electric power source with amplitudes rotating over time. Can't make sense of it.
-
-
random thought, I love that cat a b cat b a are Coercible to Op (Op (Op (Op cat))) a b Op (Op (Op (Op (Op cat)))) a b respectively, where newtype Op cat a b = MkOp (cat b a)
-
this coercion is zero cost coerce :: cat a b -> Op (Op cat) a b since at runtime.. these would be represented exactly the same in memory. It makes me hopeful that we can build some cool category theory stuff
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.