@bascule @jerrykuch half the people quoting it don't even know what it means.
-
-
-
@DrMathochist@jerrykuch I'm trying to remember if an endofunctor is also a coendofunctor -
@bascule@jerrykuch endo-X has same source and target so is self-dual notion in general.
End of conversation
New conversation -
-
-
@bascule "gentle intro": If k1 and k2 are kinds, then k1->k2 is the kind of types that take a type of kind k1 and return a type of kind k2. -
@zem42 and here I thought both remarks were generally used as jokes ;) -
@bascule i figured the endofunctor one was a joke, but i was never sure what to think of the "kind of types" one :)
End of conversation
New conversation -
-
-
@bascule@darachennis bro, do you even liftM2?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule@raganwald mo do you even nadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule@jessewilliamson do you even liftM?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.