Span composition using fake pullbacks

The construction of a category of spans can be made in some categories $\CC$ which do not have pullbacks in the traditional sense. The PROP for monoids is a good example of such a $\CC$. The 2012 book concerning homological algebra by Marco Grandis gives the proof of associativity of relations in a ... View More