nLab
reduced space
Contents
Idea
In a context of infinitesimal cohesion the reduced type of a type is the result of removing all infinitesimal thickening in .
Definition
Definition
Given differential cohesion
define the monad/comonad adjunction
We call the reduced type of and the infinitesimal path ∞-groupoid of .
The -counit
we call the inclusion of the reduced part of .
For the -unit we write
and call it the constant infinitesimal path inclusion on .
Examples
(…)
Last revised on January 5, 2014 at 12:23:54.
See the history of this page for a list of all contributions to it.