## “Free Object Functors”

Chapter 12 (Functors) gives as an example of a functor the “free group functor” from the category of sets () to the category of groups (). We will call this functor , and its construction, as described, is the following: For any set , the object is the free group on . Let be a…