On pointwise Kan extensions in double categories
Category Theory
2014-11-10 v2
Abstract
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
Cite
@article{arxiv.1402.0250,
title = {On pointwise Kan extensions in double categories},
author = {Seerp Roald Koudenburg},
journal= {arXiv preprint arXiv:1402.0250},
year = {2014}
}
Comments
38 pages. In v2 the proofs of Propositions 4.2 and 4.4 have been simplified; this is the final version, as it appears in Theory and Applications of Categories, Vol. 29, 2014