We study the composition of modules between lax functors of weak double categories. We adapt the bicategorical notion of local cocompleteness to weak double categories, which the codomain of our lax functors will be assumed to satisfy. We introduce a notion of factorization of cells, which most weak double categories of interest possess, and which is sufficient to guarantee the strong representability of composites of modules between lax functors whose domain satisfies it.
Keywords: double category, lax functor, module, modulation, representability
2010 MSC: 18D05,18D25
Theory and Applications of Categories, Vol. 27, 2013, No. 16, pp 393-444.
Published 2013-04-03
http://www.tac.mta.ca/tac/volumes/27/16/27-16.dvi
http://www.tac.mta.ca/tac/volumes/27/16/27-16.ps
http://www.tac.mta.ca/tac/volumes/27/16/27-16.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/27/16/27-16.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/27/16/27-16.ps