1

In category theory, we always use many composition notation. And in computer science, we often use category theory to describe problems.

Usually, we use g ∘ f to stand the composition of "g after f"

Also, we use f ; g to stand the composition of "f before g"

But the ; is a common used syntax of line end in computer program, is there any substitutable notation of ; ?

xiang
  • 173
  • 1
    I asked the same question here http://math.stackexchange.com/questions/1982144/is-there-a-commonly-used-notation-for-flipped-composition – Q the Platypus Jan 06 '17 at 08:38
  • I'm going to suggest people start using $\ggg$ for this. Like in Haskell's control.arrow – Q the Platypus Jan 06 '17 at 08:41
  • @QthePlatypus In haskell >>> is a operator have different infix level with ., so I'd like to define a operator flip (.) has same infix level with (.), but ; is not a acceptable char. – xiang Jan 06 '17 at 08:45
  • I know a few category theorists (on the computer science side of things) that just unabashedly write $fg$ for the composition of morphisms $f:X \to Y$ and $g:Y \to Z$. – Geoff Jan 06 '17 at 09:02

0 Answers0