nLab coreduced object




Discrete and concrete objects

Modalities, Closure and Reflection



In a context of synthetic differential geometry/differential cohesion a coreduced object is one all whose infinitesimal paths are constant. Compare the discrete objects, in which all paths are constant, meaning all discrete objects are also coreduced.


A context of differential cohesion is determined by the existence of an adjoint triple of modalities

&, \Re \dashv \Im \dashv \& \,,

where \Re and &\& are idempotent comonads and \Im is an idempotent monad.

A coreduced object or coreduced type is one in the full subcategory defined by the infinitesimal shape modality \Im or equivalently the infinitesimal flat modality &\&.

Note that an object XX being coreduced is the same as it being formally etale.



infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Last revised on August 29, 2017 at 16:19:24. See the history of this page for a list of all contributions to it.