Convention:Function composition

From Groupprops
Revision as of 17:56, 12 January 2008 by Vipul (talk | contribs)

This article is about a convention that is followed in this wiki. The aim is that every page on the wiki follows this convention unless explicitly stated otherwise on the page; however, in practice, this may not have been implemented
Also see switching between the left and right action conventions for background on the differences between various conventions.

In Groupprops, the notation f∘g always denotes g, followed by f. In other words, if g:A→B, and f:B→C are maps, then f∘g denotes the composite map from A to C.

This convention for function composition also explains the corresponding convention for group action.