Towards higher topology (Q2229960)

The adjunction between locales and topological spaces is familiar as the \textit{Isbell adjunction} \[ \mathrm{Top} \begin{array} [c]{c} \underrightarrow{\quad\mathcal{O}\quad}\\ \perp\\ \overleftarrow{\quad\mathrm{pt}\quad} \end{array} \mathrm{Loc} \] The principal objective in this paper is to categorify this adjunction into its categorified adjunction between (generalized) bounded ionads [\textit{R. Garner}, J. Pure Appl. Algebra 216, No. 8--9, 1734--1747 (2012; Zbl 1266.18006)] and topoi (Theorem 4.2.6) \[ \mathrm{BIon} \begin{array} [c]{c} \underrightarrow{\quad\mathbb{O}\quad}\\ \perp\\ \overleftarrow{\quad\mathrm{pt}\quad} \end{array} \mathrm{Topoi} \] where a topos is a categorified locale, while a ionad is a categorified topological space. It is shown that the adjunction is idempotent (Theorem 5.0.3). The adjunction is related to the \textit{Scott adjunction} connecting accessible categories with directed colimits to topoi (Theorem 5.3.3) \[ \mathrm{Acc}_{\omega} \begin{array} [c]{c} \underrightarrow{\quad\mathbb{S}\quad}\\ \perp\\ \overleftarrow{\quad\mathrm{pt}\quad} \end{array} \mathrm{Topoi} \] which is the categorified adjunction of \[ \mathrm{Pos}_{\omega} \begin{array} [c]{c} \underrightarrow{\quad\mathrm{S}\quad}\\ \perp\\ \overleftarrow{\quad\mathrm{pt}\quad} \end{array} \mathrm{Loc} \] where \(\mathrm{Pos}_{\omega}\) denotes the category of posets with directed suprema.