Walking Arrow
The walking arrow is a category with two objects of the following shape
A diagram over this category is simply a morphism.
The walking arrow is a category with two objects of the following shape
A diagram over this category is simply a morphism.