\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Some Thoughts on the Future of Category Theory}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{cohesive_toposes}{}\paragraph*{{Cohesive Toposes}}\label{cohesive_toposes}

[[!include cohesive infinity-toposes - contents]]

\hypertarget{philosophy}{}\paragraph*{{Philosophy}}\label{philosophy}

[[!include philosophy - contents]]

This entry is about the article

\begin{itemize}%
\item [[William Lawvere]],

\emph{Some Thoughts on the Future of Category Theory}

(\href{https://link.springer.com/chapter/10.1007/BFb0084208}{doi:10.1007/BFb0084208})

In: A. Carboni, M. Pedicchio, G. Rosolini (ed.s)

\emph{Category Theory},

[[Como|Proceedings of the International Conference held in Como]],

Lecture Notes in Mathematics 1488, Springer (1991)



\end{itemize}
about the formalization of the ``[[objective logic]]'' of [[Hegel|Hegelian]] [[metaphysics]] ([[Science of Logic]]) and in particular (implicitly) the notion of [[cohesive toposes]]. (See there for further references and other background material).

A closely related text is \emph{[[Cohesive Toposes and Cantor's ``lauter Einsen'']]}.

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{exegesis}{Exegesis}\dotfill \pageref*{exegesis} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{exegesis}{}\subsection*{{Exegesis}}\label{exegesis}

The article is written in a style typical for Lawvere, where precise general abstract [[category theory|category theoretic]] and [[topos theory|topos theoretic]] situations are discussed more in prose than in the usual style of mathematical writing. The thoughts revolve around a topic that Lawvere takes up in various later articles, which are all listed in the References-section at \emph{[[cohesive topos]]}. In the following we try to illuminate what the article here is saying. Of course such an \emph{exegesis} may or may not accurately reflect some of the original author's actual intentions.

Pages 6 to 8 in section II of the text is to a large extent a proposal that there is a useful formalization of the [[unity of opposites]] and their ``[[Aufhebung]]'' that governs [[Georg Hegel]]`s [[metaphysics]] as laid out in his \emph{[[Science of Logic]]}. The proposal is that a ``determination of [[being]] and [[becoming]]'' is expressed by an [[adjoint modality]]. The tautological example $(\emptyset \dashv \ast)$ is ``pure being'' and refinements thereof such as $(\flat \dashv \sharp)$ ([[flat modality]] $\dashv$ [[sharp modality]]) characterize more determinate ways of entities to be.

Specifically, the notion of a \textbf{[[category of being]]} that Lawvere discusses (following terminology in [[Hegel|Hegel's]] \emph{[[Science of Logic]]}) in \emph{Some Thoughts on the Future of Category Theory} is the notion that more recently he has been calling a \emph{category of cohesion} . The following tries to illuminate a bit what's going on .

We restrict attention to the case that the [[category]] ``of [[being|Being]]'' is a [[topos]] and say \emph{[[cohesive topos]]} for short. This is a topos that satisfies a small collection of simple but powerful axioms that are supposed to ensure that its [[object]]s may consistently be thought of as \emph{[[geometry|geometric]] [[space]]s} built out of [[point]]s that are equipped with ``cohesive'' structure (for instance [[topology|topological structure]], or [[smooth structure]], etc.). So the idea is to axiomatize [[big topos]]es in which [[geometry]] may take place.

We walk through the main bits of the article:

One [[axiom]] on a [[cohesive topos]] $\mathcal{E}$ is that the [[global section]] [[geometric morphism]] $\Gamma : \mathcal{E} \to \mathcal{S}$ to the given [[base topos]] $\mathcal{S}$ has a further [[left adjoint]] $\Pi_0 := \Gamma_! : \mathcal{E} \to \mathcal{S}$ to its [[inverse image]] $\Gamma^{\ast}$, which we shall write $\mathrm{Disc} := \Gamma^{\ast}$, for reasons discussed below. This extra left adjoint has the interpretation that it sends any object $X$ to the set $\Pi_0(X)$ ``of [[connected]] components''. What Lawvere calls a [[locally connected topos|connected object]] in the article (p. 4) is hence one that is sent by $\Pi_0$ to the [[terminal object]].

Another [[axiom]] is that $\Pi_0$ preserves finite [[product]]s. This implies by the above that the collection of connected objects is closed under finite products. This appears on page 6. What he mentions there with reference to Hurewicz is that given a topos with such $\Pi_0$, it becomes canonically [[enriched category|enriched]] over the [[base topos]] in a second way, a geometric way.

The meaning of this, like that of various other aspects of cohesive toposes, may be clearer as we make the evident step to [[cohesive (∞,1)-topos]]es. (But notice that this, while inspired by Lawvere, is not due to him.)

In this more encompassing context the extra [[left adjoint]] $\Pi_0$ becomes a left [[adjoint (∞,1)-functor]] $\Pi_\infty$ which we just write $\Pi$: it sends, one can show, any object to its [[fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos |geometric fundamental ∞-groupoid]], for a notion of geometric paths intrinsic to the $\infty$-topos. The fact that this preserves finite [[product]]s then says that there is a notion of \emph{[[concordance]]} of [[principal ∞-bundle]]s in the $(\infty,1)$-topos.

The next [[axiom]] on a cohesive topos says that there is also a further [[right adjoint]] $\mathrm{coDisc} := \Gamma^! : \mathcal{S} \to \mathcal{E}$ to a total [[adjoint quadruple]]

\begin{displaymath}
(\Pi_0 \dashv \mathrm{Disc} \dashv \Gamma \dashv \mathrm{coDisc}) :=
  (\Gamma_! \dashv \Gamma^* \dashv \Gamma_* \dashv \Gamma^!) : \mathcal{E} \to \mathcal{S}
\end{displaymath}
such that both $\mathrm{Disc}$ as well as $\mathrm{coDisc}$ are [[full and faithful functor|full and faithful]].

This is what Lawvere is talking about from the bottom of p. 6 on. The \emph{downward functor} that he mentions is $\Gamma : \mathcal{E} \to \mathcal{S}$. This has the interpretation of sending a cohesive space to its underlying set of points, as seen by the [[base topos]] $\mathcal{S}$. The left and right adjoint inclusions to this are $\mathrm{Disc}$ and $\mathrm{coDisc}$. These have the interpretation of sending a set of points to the corresponding space equipped with either \emph{[[discrete space|discrete cohesion]]} or \emph{[[codiscrete space|codiscrete (indiscrete) cohesion]]} . For instance in the case that cohesive structure is [[topology|topological structure]], this will be the [[discrete topology]] and the [[indiscrete space|indiscrete topology]], respectively, on a given set. Being full and faithful, $\mathrm{Disc}$ and $\mathrm{coDisc}$ hence make $\mathcal{S}$ a [[full subcategory]] of $\mathcal{E}$ in two ways (p. 7), though only the image of $\mathrm{coDisc}$ will also be a [[subtopos]], as he mentions on page 7.

(This has, by the way, an important implication that Lawvere does not seem to mention: it implies that we are entitled to the corresponding [[quasi-topos]] induced by the sub-topos. That, one can show, may be identified with the collection of \emph{[[concrete sheaf|concrete]]} cohesive spaces. In the case of the cohesive topos for differential geometry, the concrete objects in this sense are precisely the \emph{[[diffeological space]]s} . )

He calls the subtopos given by the image of $\mathrm{coDisc} : \mathcal{S} \to \mathcal{E}$ that of ``pure [[becoming|Becoming]]'' further down on p. 7, whereas the subcategory of discrete objects he calls that of ``non [[becoming|Becoming]]''. One way one might understand this terminology is as follows:

whereas any old [[(∞,1)-topos]] is a collection of \emph{[[space]]s} , a [[cohesive (∞,1)-topos]] comes with the extra adjoint $\Pi$ which, as mentioned above, has the interpretation of sending any space to its [[fundamental ∞-groupoid]]. Therefore there is an intrinsic notion of \emph{geometric paths} in any cohesive $\infty$-topos. This allows notably to define [[parallel transport]] along paths and [[higher parallel transport]] along higher [[dimension]]al paths, hence a kind of \emph{dynamics} . In fact there is [[differential cohomology]] in every cohesive $(\infty,1)$-topos.

Now, in a [[discrete space|discrete object]] there are no non-trivial paths (formally because by the fact that $Disc$ is [[full and faithful functor|full and faithful]] and [[left adjoint]] to $\Pi$ we have $\Pi Disc \simeq Id$), so there is ``no dynamics'' in a discrete object hence ``no [[becoming]]'', if one wishes. Conversely in a [[codiscrete space|codiscrete object]] every sequence of points whatsoever counts as a path, hence the distinction between the space and its ``dynamics'' disappears and so we have ``pure [[becoming]]'', if one wishes.

Notice next that every [[adjoint triple]] induces an [[adjoint monad]]. In the present situation we get

\begin{displaymath}
(\mathrm{Disc} \;\Gamma \dashv \mathrm{coDisc}\; \Gamma) : \mathcal{E} \to \mathcal{E}
\end{displaymath}
This is what Lawvere calls the \emph{skeleton} and the \emph{coskeleton} on p. 7. In the [[(∞,1)-topos]] context the left adjoint $\mathbf{\flat} := \mathrm{Disc} \; \Gamma$ has the interpretation of sending any object $A$ to the coefficient for cohomology of [[local system]]s with coefficients in $A$.

The paragraph wrapping from page 7 to 8 comments on the possibility that the [[base topos]] $\mathcal{S}$ is not just that of sets. $\mathcal{S} =$ [[Set]], but something richer. An example of this is that of \emph{super cohesion} (in the sense of [[superalgebra]] and [[supergeometry]]): the topos of [[smooth super ∞-groupoid|smooth super-geometry]] is cohesive over the base topos of [[super ∞-groupoid|bare super-sets]].

What follows on page 9 are thoughts which it seems Lawvere has not formalized further later on. But then on the bottom of p. 9 he gets to the axiomatic identification of [[infinitesimal space|infinitesimal]] or \emph{formal} spaces in the cohesive topos. In the more recent article \emph{Axiomatic Cohesion} what he says here on p. 9 is formalized as follows: he says an object $X \in \mathcal{E}$ is infinitesimal if the canonical morphism $\Gamma X \to \Pi_0 X$ is an [[isomorphism]]. To see what this means, suppose that $\Pi_0 X = *$, hence that $X$ is connected. Then the isomorphism condition means that $X$ has exactly one global point. But $X$ may be bigger: it may be a formal neighbourhood of that point, for instance it may be [[infinitesimally thickened point]] $\mathrm{Spec} \;k[x]/(x^2)$ that is formally dual to the [[ring of dual numbers]]. A general $X$ for which $\Gamma X \to \Pi_0 X$ is an iso is hence a disjoint union of formal neighbourhoods of points.

Again, the meaning of this becomes more pronounced in the context of [[cohesive (∞,1)-topos]]es: there objects $X$ for which $\Gamma X \simeq * \simeq \Pi X$ have the interpretation of being \emph{[[∞-Lie algebroid|formal ∞-groupoid]]s} , for instance [[Lie integration|formally exponentiated]] [[L-∞ algebra]]s. And so there is [[∞-Lie theory]] canonically in every cohesive $\infty$-topos.

More discussion of all this is at [[schreiber:differential cohomology in a cohesive topos]].

\hypertarget{related_entries}{}\subsection*{{Related entries}}\label{related_entries}

18 years later at the same place, Lawvere gives a lecture series on this topic: \emph{[[Cohesive Toposes -- Combinatorial and Infinitesimal Cases]]}.

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item A sequence of videos covering the talk in Como is available \href{http://www.youtube.com/playlist?list=PLRIsuk3ZOitzDqeVKOZhe0MrzEUtRNAh5}{on YouTube}

\end{itemize}
category: reference



\end{document}