Base change along lax squares

Brice Le Grignou, Damien Lejay

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.