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.
TAC Home