Fredrick Eisele wrote:
>> **Puzzle 106**. What are some reasonable equations between morphisms that we might want to impose?

>Maybe we want to limit the number of layers of management to say 4.
> $\text{Manager} \circ \text{Manager} \circ \text{Manager} \circ \text{Manager} = 1_\text{Employee}$

This seems to say that each employee is their own manager's manager's manager's manager! That's one way to make sure no management chain is more than four layers deep. Another way might be to say that some top-level employees are their own managers, and that no one is more than four management layers below them.

**Puzzle OB1:** Try expressing this condition as an equation between two paths.