Beck-Chevalley condition

References

• Structured versus Decorated Cospans (Baez, Moeller, Vasilakopoulou)
• Mates correspondence