Mapping Spaces of Gray-Categories

Bjorn Gohla

We define a mapping space for Gray-enriched categories adapted to higher gauge theory. Our construction differs significantly from the canonical mapping space of enriched categories in that it is much less rigid. The two essential ingredients are a path space construction for Gray-categories and a kind of comonadic resolution of the 1-dimensional structure of a given Gray-category obtained by lifting the resolution of ordinary categories along the canonical fibration of GrayCat over Cat.

Keywords: Higher gauge theory, Gray-categories

2010 MSC: primary: 18D05, 18D20; secondary: 55Q15

Theory and Applications of Categories, Vol. 29, 2014, No. 5, pp 100-187.

Published 2014-04-17.

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

TAC Home