Decorated cospans via the Grothendieck construction

Building on the double Grothendieck construction introduced last time, we explain how decorated cospans are instance of the Grothendieck construction. This perspective suggests a natural generalization of decorated cospans, which we illustrate through several examples.


This is a companion discussion topic for the original entry at https://www.epatters.org/post/decorated-cospans-via-grothendieck