147 citations · 398 across the 15 of their papers we have counts for
1 paper · 1 filter
Thomas M. Fiore, Nicola Gambino, Joachim Kock
We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double catego…