structures in a cohesive (∞,1)-topos
This page is about a series of three lectures
Cohesive toposes: combinatorial and infinitesimal cases
Como (Italy), January 10, 2008
on cohesive toposes.
Available material includes:
video recording of the first few minutes of the first lecture
pdf notes, made available on Bob Walters’s Como Category Theory Archive.
(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.)