12 May
2009
12 May
'09
6:04 p.m.
On Tue, May 12, 2009 at 1:41 PM, Wolfgang Jeltsch
At least, I cannot remember seeing the other notation (first morphism on the left) in category theory literature so far. It’s just that my above-mentioned professor told me that category theorists would use the first-morphism-on-the-left notation.
I've seen the notation f;g for g.f somewhere (and Wikipedia mentions it). I think it's less ambiguous than just fg (which I've seen for f.g too), but in Haskell we have the option of >>>. A flipped application might be nice to go with it. How about >$> ? --Max