Convention:Function composition

From Groupprops
Jump to: navigation, search
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 \circ g always denotes g, followed by f. In other words, if g:A \to B, and f:B \to C are maps, then f \circ g denotes the composite map from A to C.

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