Group multiplication is a natural transformation between the appropriate functors. Similarly the defining operations of other algebraic structures are also nat. trans. between appropriate functors.

e.g. Let S, U : \mathbf{Grp} \rightarrow \mathbf{Set} where S sends G \stackrel{f}{\longrightarrow} H to G^2 \stackrel{f^2}{\longrightarrow} H^2 (the “squaring” functor), and U is the forgetful functor. The set maps \tau_G : G^2 \rightarrow G defined by the multiplication of G are components of a natural transformation from S to U.
(ref. Adamek-Herrlick-Strecker, Abstract and Concrete Categories, 6.2 (2).)



Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s