bornological coarse space

A *bornological coarse space* is a set $X$ equipped with a bornology $B$ and a coarse structure $C$ that are compatible: controlled thickenings of bounded subsets are bounded.

Here a U-controlled thickening ($U\subset X\times X$) of a subset $B$ of $X$ is the projection of $X\times B\cap U$ onto its first factor.

A *morphism* of bornological coarse spaces is a map $f$ of sets that is *controlled* (for every $U\in C$ we have $(f\times f)(U)\in C'$) and *proper* (for every $B'\in B'$ we have $f^{-1}(B')\in B$).

Bornological coarse spaces can be used as a site with an interval? to construct motivic coarse spaces.

- Ulrich Bunke, Alexander Engel,
*Homotopy theory with bornological coarse spaces*, arXiv:1607.03657.

Last revised on July 15, 2016 at 05:17:35. See the history of this page for a list of all contributions to it.