论文标题
沿宽松正方形的基本变化
Base change along lax squares
论文作者
论文摘要
在本说明中,我们提出了一个食谱,该食谱将沿着巨大的类别沿着COSPAN的推扣转换为基于吉塔尔特定理的副手。
In this note we present a recipe which transforms any pull-push along a span of categories into a push-pull along a cospan and vice versa, based on a theorem from Guitart.