nLab
cohesive

Context

Cohesive \infty-Toposes

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

Backround

Definition

Presentation over a site

Structures in a cohesive (,1)(\infty,1)-topos

structures in a cohesive (∞,1)-topos

Structures with infinitesimal cohesion

infinitesimal cohesion?

Models

In Georg Hegel’s Encyclopedia of the Philosophical Sciences there is discussion of the cohesion of some substance. William Lawvere argued that the “objective logic” of this discussion is to be formalized via categorical logic by the axiomatics of cohesive toposes, i.e. by modal type theory equipped with shape modality and flat modality.

Entries discussing aspects of cohesion include the following

Hegel goes on to speak of cohesion being refined to elasticity:

PN§297Zusatz Elasticity is the whole of cohesion.

Moreover, according to PN§298 this elasticity is related to the unity of opposites that consistute Zeno's paradox of motion, hence to the modern concept of differentiation via a limit of a sequence. In terms of categorical logic this is precisely what is encoded in the infinitesimal shape modality and infinitesimal flat modality of

cohesion

tangent cohesion

differential cohesion

graded differential cohesion

id id fermionic e bosonic bosonic R rheonomic reduced infinitesimal infinitesimal & étale contractible ʃ discrete discrete differential * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \e &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \R & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{contractible}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{differential}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Examples

Applications

category: adjective

Revised on February 27, 2015 16:32:40 by Urs Schreiber (195.113.30.252)