The category of pointed sets
1. An example of a non-distributive category
The various categories of dynamical systems and of graphs which we have discussed all satisfy the distributive law. A simple, frequently occurring, example of a category that is not distributive is l/, the category of pointed sets. An object of this category is a set X together with a chosen base point, or distinguished point, . We can picture an object of this category ...