nLab
Cohesive Toposes -- Combinatorial and Infinitesimal Cases

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

This page is about a series of three lectures

  • Bill Lawvere,

    Cohesive toposes: combinatorial and infinitesimal cases

    Como (Italy), January 10, 2008

on cohesive toposes.

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 August 27, 2012 12:14:15 by Urs Schreiber (89.204.137.217)