@MorlockP "a compose operator is really no different from addition" addition is an operation S x S -> S, commutative, has inverses
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@MorlockP composition is an operator Hom(A,B) x Hom(B,C) -> Hom(A,C), violently noncommutative, noninvertible -
@MorlockP Hom(B,C) x Hom(A,B) -> Hom(A,C) in traditional notation but whatever - Show replies
New conversation -
-
-
@lispectorversus
@MorlockP You can treat addition as a specific kind of composition w/ a bunch of extra rules. Not the other way round tho.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.