# nLab Cohesive Toposes -- Combinatorial and Infinitesimal Cases

### Context

#### Cohesive $\infty$-Toposes

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

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

structures in a cohesive (∞,1)-topos

## Structures with infinitesimal cohesion

infinitesimal cohesion?

## Models

• Cohesive toposes: combinatorial and infinitesimal cases

Como (Italy), January 10, 2008

Available material includes:

(This might be the first public occurence of the precise term “cohesive topos”. In the 2007 article Axiomatic cohesion it still said “category of cohesion” and in a series of articles preceding that one (see cohesive topos - References), other terms are used. In fact, at the same place but 18 years earlier, at the Como conference on Category Theory, Lawvere used the term “category of Being”, instead, in his Some Thoughts on the Future of Category Theory.)

category: reference

Revised on July 7, 2014 09:22:16 by Thomas Holder (82.113.121.119)