Walking Parallel Pair
The walking parallel pair is a category with two objects of the following shape:
A diagram over the walking parallel pair is a pair of parallel morphisms.
The walking parallel pair is a category with two objects of the following shape:
A diagram over the walking parallel pair is a pair of parallel morphisms.