On pointwise Kan extensions in double categories

Seerp Roald Koudenburg

In this paper we consider a notion of pointwise Kan extension in double categories that naturally generalises Dubuc's notion of pointwise Kan extension along enriched functors. We show that, when considered in equipments that admit opcartesian tabulations, it generalises Street's notion of pointwise Kan extension in $2$-categories.

Keywords: double category, equipment, pointwise Kan extension, exact cell, tabulation

2010 MSC: 18D05, 18A40, 18D20

Theory and Applications of Categories, Vol. 29, 2014, No. 27, pp 781-818.

Published 2014-11-06.

http://www.tac.mta.ca/tac/volumes/29/27/29-27.pdf

TAC Home