The category of bornological coarse spaces admits the structure of a site with an interval?. See §3 in Bunke and Engel for the relevant definitions.
The -category of motivic coarse spaces is obtained from the -category of -sheaves on the site of bornological coarse spaces by performing the reflective localization with respect to the maps for any representable , where is the interval object in bornological coarse spaces. (This step is formally identical to the one used to construct motivic spaces.) Next, we also localize with respect to morphisms of representables , where is a flasque bornological coarse space, as defined in Definition 3.19 of Bunke and Engel. Finally, we localize with respect to morphisms of presheaves of the form , for any , where is obtained from using the same bornology and the coarse structure generated by a single element .
Homotopy theory with bornological coarse spaces, arXiv:1607.03657.
Last revised on July 17, 2016 at 23:41:01. See the history of this page for a list of all contributions to it.