nLab
anti-reduced type
Redirected from "F. van Oystaeyen".
Contents
Context
Cohesion
Discrete and concrete objects
Modalities, Closure and Reflection
Contents
Idea
An anti-reduced object or simple infinitesimal type is one whose reduction is the point, hence one consisting entirely of “infinitesimal extension”, i.e. an infinitesimally thickened point.
Definition
In the context of differential cohesion, an anti-reduced obect is an comodal type for the infinitesimal shape modality
Examples
In homotopy type theory/higher topos theory anti-reduced types are essentially what is also called “formal moduli problems” (these are typically required to satisfy one more condition besides being anti-reduced, namely being infinitesimally cohesive in the sense of Lurie).
cohesion
infinitesimal cohesion
tangent cohesion
differential cohesion
graded differential cohesion
singular cohesion
Last revised on March 5, 2015 at 17:47:46.
See the history of this page for a list of all contributions to it.