← Local state classifiers and choice
FirstVersion.tex
\documentclass{amsart}
\usepackage[left=2cm, right=2cm]{geometry}
\usepackage[utf8]{inputenc}
\usepackage{amsfonts, amsthm, amssymb, mathtools,etoolbox}
\usepackage{blindtext}
\usepackage[colorlinks=true, urlcolor=blue, linkcolor=blue, citecolor=blue]{hyperref}
\usepackage{tikz,tikz-cd}
\usepackage{cleveref}
\usepackage{array}
\usepackage[style=alphabetic,sorting=nyt]{biblatex}
\renewbibmacro{in:}{}
% \addbibresource{biblio.bib}
\addbibresource{CommonBiblio20240922.bib}
\tikzset{pullback/.style={minimum size=1.2ex,path picture={
\draw[opacity=1,black,-,#1] (-0.5ex,-0.5ex) -- (0.5ex,-0.5ex) -- (0.5ex,0.5ex);%
}}}
\usetikzlibrary{calc}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{todo}[theorem]{Todo}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{fact}[theorem]{Fact}
\theoremstyle{definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{question}[theorem]{Question}
\newtheorem{idea}[theorem]{Idea}
\newcommand{\dq}[1]{``#1"}
\newcommand{\memo}[1]{\textcolor{red}{memo: #1}}
% \newcommand{\invmemo}[1]{\textcolor{blue}{memo: #1}}
\newcommand{\invmemo}[1]{}
\newcommand{\para}[1]{\paragraph{\textbf{#1}}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Nor}{\mathrm{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\HQ}{\mathcal{HQ}}
\newcommand{\C}{\mathcal{C}}
\newcommand{\D}{\mathcal{D}}
\newcommand{\E}{\mathcal{E}}
\newcommand{\F}{\mathcal{F}}
\renewcommand{\S}{\mathcal{S}}
\newcommand{\G}{\mathbb{G}}
\newcommand{\id}{\mathrm{id}}
\newcommand{\op}{\mathrm{op}}
\newcommand{\ob}{\mathrm{ob}}
\newcommand{\true}{\mathrm{true}}
\newcommand{\Image}{\mathrm{Im}}
\newcommand{\Sub}{\mathrm{Sub}}
\newcommand{\Mor}{\mathrm{Mor}}
\newcommand{\cod}{\mathrm{cod}}
\newcommand{\dom}{\mathrm{dom}}
\newcommand{\Set}{\mathbf{Set}}
\newcommand{\Cont}{\mathbf{Cont}}
\newcommand{\FinSet}{\mathbf{FinSet}}
\newcommand{\Sh}{\mathbf{Sh}}
\newcommand{\PSh}{\mathbf{PSh}}
\newcommand{\Top}{\mathbf{Top}}
\newcommand{\sgt}{\{\cdot\}}
% \newcommand{\Func}[2]{[#1,#2]}
\newcommand{\abs}[1]{\left|#1\right|}
\newcommand{\demph}[1]{\textbf{#1}}
% \font\maljapanese=dmjhira at 2.5ex
% \newcommand{\yo}{\textrm{\!\maljapanese\char"48}}
% \newcommand{\yo}{y}
\newcommand{\yo}{Y}
\newcommand{\mono}{\mathrm{mono}}
\newcommand{\epi}{twoheadrightarrow}
\newcommand{\toMono}{\rightarrowtail}
\newcommand{\Gal}{\mathrm{Gal}}
\newcommand{\toEpi}{\twoheadrightarrow}
\newcommand{\Quo}{\mathrm{Quo}}
\newcommand{\A}{\mathcal{A}}
\newcommand{\Pow}{\mathcal{P}}
\newcommand{\EC}{\mathbf{E}}
\newcommand{\MC}{\mathbf{M}}
\newcommand{\QuoE}{\Quo_{\EC}}
\newcommand{\SubM}{\Sub_{\MC}}
\DeclareMathOperator*{\colim}{colim}
\newcommand{\ev}{\mathrm{ev}}
\newcommand{\1}{\mathbf{1}}
% \newcommand{\V}[2]{V_{#1}(#2)}
\newcommand{\V}[2]{{V_{#1}^{#2}}}
\renewcommand{\a}{\mathbf{a}}
\newcommand{\ADJ}[4]
{
\begin{tikzcd}[ampersand replacement = \&, column sep = small]
{#1}
\ar[rr, shift right=1.3ex, "{#2}"']
\&\perp\&
{#3}
\ar[ll, shift right=1.3ex,"{#4}"']
\end{tikzcd}
}
\newcommand{\Iso}{\mathrm{Iso}}
% \newcommand{\mono}{\mathrm{mono}}
% \title{Demystifying local state classifiers:\\
% % local state classifier in
% total categories with factorization systems}
\title{Local state classifier characterizes the Axiom of choice}
\author{Ryuya Hora}
\thanks{ZEN University. \url{ryuya_hora@zen.ac.jp}}
% \date{\today}
\subjclass[2020]{MSC}
\keywords{Keywords}
\begin{document}
\begin{abstract}
\end{abstract}
\maketitle
\tableofcontents
\section{Preliminaries on Hyperconnected quotients and local state classifier}\label{sec:Preliminaries} \memo{This section is a copoy of \cite[Section 2]{hora2025normalizationv1}}
This section is a $2$-page summary of the paper \cite{hora2024internal}, which defines and studies the notion of a local state classifier.
\subsection{Hyperconnected quotients}
This subsection aims to recall the preliminaries on hyperconnected geometric morphisms. See \cite{johnstone1981factorization} or \cite[][A.4.6]{johnstone2002sketchesv1} for more details.
% We will also explain the notion of local state classifier from \cite{hora2024internal}.
\begin{definition}[Hyperconnected geometric morphisms]
A geometric morphism $f\colon \E \to \F$ is said to be \demph{hyperconnected} if it is connected (i.e. $f^{\ast}\colon \F \to \E$ is fully faithful) and its counit $\epsilon_X\colon f^{\ast}f_{\ast}\to \id_{\E}$ is monic.
\end{definition}
In this paper, a \demph{hyperconnected quotiet} of a topos $\E$ means (an equivalence class of) a hyperconnected geometric morphism from $\E$.
Since $f^{\ast}$ is fully faithful for a hyperconnected quotient $f\colon \E \to \F$, we can regard $\F$ as a (replete) full subcategory of $\E$.
With this identification, we will write `$X\in \ob(\E)$ belongs to $\F$' for `$X\in \ob(\E)$ belongs to the essential image of $f^{\ast}$' in this paper. This does not cause any serious problem since we will not distinguish between two mutually equivalent hyperconnected quotients.
\subsection{Local state classifier}
In this subsection, we will briefly explain the notion of a local state classifier. For more proofs, informal explanations, and examples, see the original article \cite{hora2024internal}.
\subsubsection{Definition}
\begin{definition}[{\cite[][Definition 3.4]{hora2024internal}}]
The \demph{local state classifier} of a category $\E$ is the colimit of all monomorphisms of $\E$, if it exists. In other words, it is an object $\Xi$ equipped with a family of morphisms $\{\xi_X \colon X \to \Xi\}_{X\in \ob(\E)}$, such that they form a colimit cocone under the faithful embedding functor $\E_{\mono}\rightarrowtail \E$.
\end{definition}
The definition of a local state classifier is quite transcendental, and even a (small-)cocomplete category might not admit a local state classifier. However, we can prove the following proposition:
\begin{proposition}[{\cite[][Section 3.16]{hora2024internal}}]\label{prop:ExistenceForGrothendieck}
Every Grothendieck topos $\E$ has a local state classifier.
\end{proposition}
\subsubsection{Inducing full subcategories}\label{sssec:InducedFullSub}
% But
How is a local state classifier related to the classification of hyperconnected quotients? Since $\Xi$ is just an object of $\E$ and a hyperconnected quotient is a (very nice) subcategory of $\E$, they might seem unrelated.
The answer is, in short, that we can construct a full subcategory of $\E$ from any subobject of $\Xi$.
% Here is an answer:
Let $\E$ be a category with a local state classifier $\Xi$.
For any subobject $\iota_F\colon F \rightarrowtail\Xi$
% of the local state classifier of a category $\E$
, we can define a full subcategory $\E_F \hookrightarrow \E$ by
\begin{equation}\label{eq:FullSubCondition}
X\in \ob(\E_F)
\iff
\begin{tikzcd}
& F\ar[d, rightarrowtail, "\iota_F"]\\
X\ar[r,"\xi_X"']\ar[ru, dashed, "\exists"]&\Xi.
\end{tikzcd}
\end{equation}
% \[
% X\in \ob(\E_F)
% \iff
% \begin{tikzcd}
% & F\ar[d, rightarrowtail]\\
% X\ar[r,"\xi_X"']\ar[ru, dashed, "\exists"]&\Xi.
% \end{tikzcd}
% \]
In other words, we define the full subcategory $\E_F$ of $\E$, specifying objects by
\[
\ob(\E_F) \coloneqq \{X\in \ob(\E)\mid \text{ the morphism $\xi_X$ factors through $F\rightarrowtail \Xi$}\}.
\]
In this paper,
% we write $\iota_F \colon F \rightarrowtail\Xi$ for the embedding morphism (for a fixed subobject $F$ of $\Xi$). F
for each object $X\in \ob(\E_F)$, we write $\xi_X^F\colon X \to F$ for the unique lift of $\xi_X$ along $\iota_F$
\[
\begin{tikzcd}
& F\ar[d, rightarrowtail, "\iota_F"]\\
X\ar[r,"\xi_X"']\ar[ru, "\xi_X^F"]&\Xi.
\end{tikzcd}
\]
% Let us summarize the definitions around the main theorem of \cite{hora2024internal} without any proofs.
\subsubsection{The order structure}
Although the definition of a local state classifier makes sense for any category, it behaves better in cartesian closed categories. First and foremost, in a cartesian closed category, the local state classifier acquires a canonical semilattice structure reflecting the cartesian structure of $\C$.
\begin{proposition}[{\cite[][Proposition 3.27]{hora2024internal}}]\label{prop:SemilatticeStructure}
If a cartesian closed category (in particular, an elementary topos) $\E$ admits a local state classifier $\{\xi_X\colon X\to \Xi\}_{X\in \ob (\E)}$, there exists a unique internal $\land$-semilattice structure on $\Xi$ such that the diagram
\[
\begin{tikzcd}[column sep =5pt]
&X_1\times \dots \times X_n \ar[ld, "(\xi_{X_1}) \times \dots \times (\xi_{X_n})"']\ar[rd, "\xi_{(X_1 \times \dots \times X_n)}"]&\\
\Xi^n\ar[rr,"\land"']&&\Xi
\end{tikzcd}
\]
commutes for any finite sequence of objects $X_1, \dots, X_n \in \ob(\E),\; n\geq 0$.
\end{proposition}
This internal semilattice structure on $\Xi$ induces a (usual) semilattice structure on each homset $\E(X,\Xi)$ for each object $X\in \ob(\E)$. Therefore, each homset $\E(X, \Xi)$ admits a natural partial order defined by $f\leq g \iff f\land g =f$.
A subobject $\iota_F \colon F \rightarrowtail \Xi$ is said to be an \demph{internal filter}, if each subset $\E(X,F) \rightarrowtail \E(X,\Xi)$ is a filter in the usual sense (i.e., upward closed and closed under finite meets $\top, \land$). (In \cite{hora2024internal}, the author adopts a diagrammatic definition of an internal filter so that it makes sense even for locally large categories.)
\subsubsection{The classification theorem}
The paper \cite{hora2024internal} proves that,
if the category $\E$ is an elementary topos
% with a local state classifier $\Xi$
and the subobject $F\rightarrowtail\Xi$ is
an internal filter,
% an \demph{internal filter} (with respect to the internal $\land$-semilattice structure of $\Xi$ (\Cref{prop:SemilatticeStructure})),
the induced full subcategory $\E_F$ is also an elementary topos, and the embedding $\E_F \hookrightarrow \E$ admits a right adjoint defining
% is an inverse image functor of
a hyperconnected geometric morphism $f_F\colon \E \to \E_F$.
The main theorem of \cite{hora2024internal} (\Cref{thm:OldMainTheorem}) states that
this construction $F \mapsto \E_F$ provides a bijective correspondence between the internal filters of $\Xi$ and the hyperconnected quotients of $\E$.
% \Cref{thm:OldMainTheorem} states that,
% if the category $\E$ is an elementary topos with a local state classifier $\Xi$, the above construction $F \mapsto \E_F$ provides a bijective correspondence between the internal filters of the internal $\land$-semilattice $\Xi$ and the hyperconnected quotients of $\E$. Notice that the embedding $\E_F \hookrightarrow \E$ serves as the inverse image functor of the corresponding hyperconnected geometric morphism $f_F\colon \E \to \E_F$.
% The following theorem is the main theorem of \cite{hora2024internal}.
\begin{theorem}[{\cite[][Theorem 4.1]{hora2024internal}\footnote{In \cite{hora2024internal}, another correspondant, internal semilattice homomorphisms $\Xi \to \Omega$, is given.}}]\label{thm:OldMainTheorem}
If an elementary topos $\E$ has a local state classifier $\Xi$,
% then $\Xi$ has an internal semilattice structure,
% and
there exists a bijective correspondence between
% the following data:
\begin{itemize}
\item hyperconnected quotients of the topos $\E$, and
% \item Internal semilattice homomorphisms $\Xi \to \Omega$.
\item internal filters of the local state classifier $\Xi$.
\end{itemize}
\end{theorem}
% \begin{remark}[External description of internal filter]
% \end{remark}
% \begin{remark}[Description of the corresponding comonad and its counit map]\label{rmk:NotationOdXiF}
The paper \cite{hora2024internal} also provides the description of the corresponding lex comonad $\G \coloneqq f^{*}f_* \colon \E \to \E$ with its counit $\epsilon \colon \G \to \id_{\E}$.
\[
\begin{tikzcd}
{\;}\ar[rr,phantom, ""'{name=F}]& \E_F \ar[rd,"f^*"]&{\;} \\
\E \ar[ru,"f_*"]\ar[rr, "\G", ""'{name=U}]\ar[rr, bend right =50, "\id_\E"', ""{name=W}]& & \E
\ar[to=U, from=F, phantom, "\rotatebox{90}{$\coloneqq$}"]
\ar[to=W, from=U, Rightarrow, "\epsilon"]
\end{tikzcd}
\]
% which
It states that
% the following diagram is a pullback square
the monic counit map $\epsilon_X \colon \G X \rightarrowtail X$ for each object $X\in \ob(\E)$ is given by the pullback diagram
\begin{equation}\label{eq:PullbackDescriptionOfTheCounitAndComonad}
\begin{tikzcd}
\G X\ar[r, "\xi^F_{\G X}"]\ar[d, "\epsilon_X", tail]\ar[rd, phantom, "\lrcorner", very near start]& F\ar[d,tail, "\iota_F"]\\
X\ar[r , "\xi_X"']& \Xi.
\end{tikzcd}
\end{equation}
% for every $X\in \ob(\E)$.
% \end{remark}
\section{LSC and set-theoretic models}
\subsection{Atom and atomic quotient}
\subsubsection{Atomic quotient}
\begin{definition}
An atomic quotient of an elementary topos $\E$ is a quotient topos $f\colon \E\to \F$ where $f^*$ is logical.
\end{definition}
\subsubsection{The von Neumann hierarchy with atoms in a topos}
(cf. \cite{freyd1980axiom})
% \begin{definition}[The von Neumann hierarchy]
% For a Grothendieck topos $\E$ and an object $A$\footnote{Intended to be the set of atoms}, we define $\V{\alpha}{A}$ for every ordinal $\alpha$ inductively as follows:
% \begin{description}
% \item[$\alpha$ is zero] $ V_0(A) = A$
% \item[$\alpha=\beta+1$] $V_{\beta+1}(A)\coloneqq \Pow(V_\beta(A))$ \memo{$\Pow(A+-)$?}
% \item[$\alpha$: limit] $V_\alpha(A)\coloneqq \colim_{\beta<\alpha} V_{\beta}(A)$ (The diagram is inductively defined by the singleton embedding $\sgt_{V_{\beta}(A)}\colon V_{\beta} \rightarrowtail \Pow(V_\beta)=V_{\beta + 1}$)
% \end{description}
% An object $X$ is said to be \demph{well-founded over $A$} if there exist an ordinal $\alpha$ and a monomorphism $X \rightarrowtail V_{\alpha}(A)$. The topos $\E$ is said to be \demph{well-founded over $A$} if every object of $\E$ is well-founded over $A$.
% \end{definition}
\begin{definition}[The von Neumann hierarchy]
For a Grothendieck topos $\E$ and an object $A$\footnote{Intended to be the set of atoms}, we define $\V{\alpha}{A}$ for every ordinal $\alpha$ inductively as follows:
\begin{description}
\item[$\alpha$ is zero] $\V{0}{A} \coloneqq 0_{\E}$
\item[$\alpha=\beta+1$] $\V{\beta+1}{A}\coloneqq A+\Pow(\V{\beta}{A})$ \memo{$\V{1}{A}$ is the set of all atoms and the real empty set}
% \memo{$\Pow(A+-)$?}
\item[$\alpha$: limit] $\V{\alpha}{A}\coloneqq \colim_{\beta<\alpha} \V{\beta}
{A}$ (The diagram is inductively defined by the singleton embedding $\sgt_{\V{\beta}{A}}\colon \V{\beta}{A} \rightarrowtail \Pow(\V{\beta}{A})=\V{\beta + 1}{A}$)
\end{description}
An object $X$ is said to be \demph{well-founded over $A$} if there exist an ordinal $\alpha$ and a monomorphism $X \rightarrowtail \V{\alpha}{A}$. The topos $\E$ is said to be \demph{well-founded over $A$} if every object of $\E$ is well-founded over $A$.
\end{definition}
For any ordinal $\beta < \alpha$, we define the $\beta$-th ordinal in $V_{\alpha}(A)$ by
\begin{todo}
For any Grothendieck topos $\E$ and an object $A\in \ob(\E)$, the class of well-founded objects over $A$ is closed under
\begin{enumerate}
\item taking subobjects,
\item taking power objects,
\item taking finite products,
\item taking small coproducts,
\item taking quotient objects,
\item taking exponential objects.
\end{enumerate}
\end{todo}
\begin{proof} We will prove them one by one.
\begin{enumerate}
\item This immediately follows from the definition.
\item Let $\alpha$ be an ordinal, and let $f\colon X\rightarrowtail V_\alpha (A)$ be a monomorphism. Then, one can prove that the internal existential quantifier $\exists_{f}\colon \Pow(X) \rightarrowtail \Pow(V_\alpha (A))=V_{\alpha+1}$ is monic.
\item
\end{enumerate}
\end{proof}
\section{LSC and etendue}\label{sec:etendue}
\begin{conjecture}
A Grothendieck topos $\E$ is an étendue if and only if its local state classifier $\Xi$ admits the minimum element $\bot \colon 1_{\E} \to \Xi$.
\end{conjecture}
\begin{conjecture}[Subconjecture]
A Grothendieck topos $\E$ satisfies the internal axiom of choice if and only if $\E$ is Boolean and its local state classifier $\Xi$ admits the minimum element $\bot \colon 1_{\E} \to \Xi$.
\end{conjecture}
Due to the following fact, studying LSC of \'{e}tendues is close to studying all Grothendieck topoi.
\begin{fact}[{\cite[][Theorem 3.1]{rosenthal1982quotient}}]
For every Grothendieck topos $\F$, there is an \'{e}tendue $\E$ and a hyperconnected geometric morphism $\E\to \F$.
\end{fact}
\memo{How is this Rosenthal's covering theorem rephrased by LSC?}
The concept of topos as a "generalized locale" plays the role of a “space with rich self-automorphisms,” or, in other words, a “folded space.” In the order structure of LSC, a more “collapsed” state is considered larger, while a more “unfolded” state is considered smaller. For instance, in the topos of graphs, a loop edge is larger than a non-loop edge. In the topos of group actions, a trivial action on a point is larger than a free action.
So, when does LSC have a minimum (global) element? The slogan would be, “the existence of the unfolding,” and this is none other than an étendue!
\begin{conjecture}
\label{Conj:etendue}
For a Grothendieck topos $\E$, the following conditions are equivalent (?)
\begin{itemize}
\item its LSC $\Xi$ has a bottom $\bot \colon 1 \to \Xi$
\item $\E$ is \'{e}tendue.
\end{itemize}
\end{conjecture}
Plan: This conjecture will be proven by rewriting \cite{kock1991presentations} in terms of LSC.
\begin{fact}
A Grothendieck topos $\E$ is
\begin{itemize}
\item \'{e}tendue if and only if it has a site $(\C,J)$, where all morphisms of $\C$ are monic. \cite{kock1991presentations}
\item Boolean \'{e}tendue iff $\E$ satisfies the internal axiom of choice.
\end{itemize}
A presheaf topos $\PSh(\C)$ is \'{e}tendue if and only if all morphisms of $\C$ are monic. \cite{rosenthal1981etendues}
\end{fact}
\begin{proposition}
\Cref{Conj:etendue} is true for
\begin{itemize}
\item localic topoi
\item presheaf topoi
\end{itemize}
\end{proposition}
\begin{proof}
For a localic topoi $\E$, it's trivial since $\E$ is \'{e}tendue and its LSC is terminal. For a presheaf, the LSC $\Xi$ is the presheaf of all quotient objects of the representables. By the concrete calculation, $\Xi$ has a bottom, if and only if $\yo(f)\colon \yo(c) \to \yo(d)$ is monic for every $f\colon c\to d$, which means every morphism in $\C$ is monic.
\end{proof}
% See \cref{rmk:ExternallyPrincipal} as well.
\begin{example}
$\Cont(\hat{\Z})$ is not \'{e}tendue, since it does not satisfy the internal axiom of choice \cite{freyd1980axiom, freyd1990categories}. Its lsc does not have the bottom, see \cref{exmp:LSCofLOOPS}.
\end{example}
\subsection{Rewriting Kock and Meordijk}
This subsection aims to rewrite \cite{kock1991presentations} in terms of a local state classifier.
\begin{definition}[\cite{kock1991presentations}]
For a geometric morphism $\gamma \colon \E \to \S$ between two elementary topoi, a morphism $f \colon A \to B$ is said to be \demph{locally monic} relative to $\gamma$, if there exist the diagram
\[
\begin{tikzcd}
A' \ar[r, rightarrowtail, "f'"]\ar[d, \epi, "q"]& \gamma^* I \times B\ar[d, "\mathrm{proj}"]\\
A\ar[r, "f"] & B,
\end{tikzcd}
\]
where $f'$ is monic and $q$ is epic.
\end{definition}
For a Grothendieck topos $\E$, a morphism $f$ in $\E$ is said to be locally monic if it is locally monic relative to the global section geometric morphism $\gamma \colon \E \to \Set$. For a morphism $f\colon A \to B$, $f$ is locally monic if and only if there is a covering $\{U_{\lambda}\toMono A\}_{\lambda\in \Lambda}$ such that each restricted morphism
\[
% f\restriction_{U_\lambda} \colon U_{\lambda} \toMono A \to B
f|_{U_\lambda} \colon U_{\lambda} \toMono A \to B
\]
is monic.
\begin{conjecture}
A morphism $f\colon A \to B$ in a Grothendieck topos $\E$ is locally monic (relative to the global section geometric morphism) if and only if
\[
\begin{tikzcd}[column sep = 10pt]
A \ar[rr,"f"]\ar[rd,"\xi_A"'] &&B\ar[ld, "\xi_B"]\\
&\Xi&
\end{tikzcd}
\]
commutes.
\end{conjecture}
Colloquially, this conjecture states that ‘locally monic’ is equivalent to saying that it preserves local states without collapsing them. See \cref{lem:FoldingLemma}. This conjecture holds for localic topoi and presheaf topoi.
\begin{lemma}
If a morphism $f\colon A \to B$ in a Grothendieck topos $\E$ is locally monic, then
\[
\begin{tikzcd}[column sep = 10pt]
A \ar[rr,"f"]\ar[rd,"\xi_A"'] &&B\ar[ld, "\xi_B"]\\
&\Xi&
\end{tikzcd}
\]
commutes.
\end{lemma}
\begin{proof}
There is a covering $\{U_{\lambda}\toMono A\}_{\lambda\in \Lambda}$ such that each restricted morphism
\[
% f\restriction_{U_\lambda} \colon U_{\lambda} \toMono A \to B
f|_{U_\lambda} \colon U_{\lambda} \toMono A \to B
\]
is monic.
Then, the outside square of
\[
\begin{tikzcd}
&U_{\lambda}\ar[ld, rightarrowtail]\ar[rd, rightarrowtail, "{f|_{U_{\lambda}}}"]&\\
A\ar[rd, "\xi_A"']\ar[rr,"f"]&&B\ar[ld, "\xi_B"]\\
&\Xi&
\end{tikzcd}
\]
commutes. Since $\{U_{\lambda}\toMono A\}_{\lambda\in \Lambda}$ is jointly epimorphic, this completes the proof.
\end{proof}
(For the converse question: relationship with the existence of reduced subobjects coverings)
\subsection{Torsion-free objects}
\begin{lemma}\label{lem:TorsionFreeAsBottom}
For an object $X$ of a topos $\E$ with a local state classifier $\Xi$, the following conditions are equivalent:
\begin{itemize}
\item $\pi\colon \Xi_X \to X$ is the terminal object of $\E/X$
\item For any object $Y$ and any map $f\colon Y \to X$, the composite map $\xi_X \circ f\colon Y \to \Xi$
% \in \E(Y, \Xi)$
is an bottom element in the $\land$-semilattice $\E(Y, \Xi)$
\end{itemize}
\end{lemma}
\begin{conjecture}
The above condition should be also equivalent to
\begin{itemize}
\item $\E/X$ is localic
\item $X$ is torsion-free in the sense of \cite{kock1991presentations}.
\end{itemize}
\end{conjecture}
\subsection{Inhabitedness}
\begin{lemma}
If an object $X$ satisfies the condition in \Cref{lem:TorsionFreeAsBottom}, then the map $\xi_X \colon X \to \Xi$ factors through the support of $X$:
\[
\begin{tikzcd}
X\ar[d, twoheadrightarrow]\ar[rd, "\xi_X"]&\\
T\ar[d, rightarrowtail]\ar[r, rightarrowtail, dashed, "\exists"]& \Xi\\
1_\E&
\end{tikzcd}
\]
\end{lemma}
\begin{proof}
Due to \cref{lem:TorsionFreeAsBottom}, the diagram
\[
\begin{tikzcd}
X\times_{\Xi} X\ar[r,shift left, "\pi_1"]\ar[r,shift right, "\pi_2"']&X\ar[r, "\xi_X"]& \Xi
\end{tikzcd}
\]
commutes. The lemma follows since the support of $X$, denoted by $T$, is the coequalizer of this diagram, since a topos is regular.
\end{proof}
\begin{lemma}
If there exists an inhabited object that satisfies the condition in \Cref{lem:TorsionFreeAsBottom}, then $\Xi$ has a global bottom element $\bot\colon 1_\E \to \Xi$.
\end{lemma}
Assuming the next conjecture
\begin{conjecture}
In any Grothendieck topos $\E$ (or its relativization), there is an object $B$ such that $\xi_B \colon B \to \Xi$ is epic.
\end{conjecture}
which is closely related to \Cref{sec:Bounds}, we can construct an inhabited and torsion-free (in the sense of \Cref{lem:TorsionFreeAsBottom}) object $X$ by a pullback:
\[
\begin{tikzcd}
X\ar[r, twoheadrightarrow, "!"]\ar[d, "\iota", rightarrowtail]\arrow[rd, phantom, "\lrcorner", very near start]&1\ar[d, "\bot", rightarrowtail]\\
B\ar[r, twoheadrightarrow, "\xi_B"]&\Xi,
\end{tikzcd}
\]
since we have
\[
\begin{tikzcd}
X\ar[r, twoheadrightarrow, "!"]\ar[d, "\iota", rightarrowtail]\arrow[rd, "\xi_X"]&1\ar[d, "\bot", rightarrowtail]\\
B\ar[r, twoheadrightarrow, "\xi_B"]&\Xi
\end{tikzcd}
\]
\appendix
\section{LSC of continuous action toposes}
\begin{corollary}
For a topological group $G$, the LSC of $\Cont(G)$ is the set of open subgroups of $G$, equipped with the right conjugate actions.
\end{corollary}
\begin{example}[LSC of loops]
\label{exmp:LSCofLOOPS}
The LSC of $\Cont(\hat{\Z})$ is the semilattice of positive integers with the (reversed) divisibility order and the trivial action.
\end{example}
\section{LSC of slice topos \memo{ongoing}}\label{sec:LSCofSliceTopos}
Motivated by \cref{sec:etendue}, we will describe the LSC of the slice topos. Our starting point is the next lemma, which is proven in \cite{hora2024internal}.
\begin{lemma}[{\cite{hora2024internal}}]\label{lem:FoldingLemma}
For any morphism $f\colon Y \to X$,
\[
\xi_Y \leq \xi_X \circ f.
\]
\end{lemma}
This allows us to define
\[
\begin{tikzcd}
Y\ar[rdd, bend right, "f"']
\ar[rrd, bend left, "{\langle \xi_Y, \xi_X \circ f\rangle}"]\ar[rd, dashed, "\zeta_f"]&&\\
&P\ar[r]\ar[d, twoheadrightarrow]\arrow[rd, phantom, "\lrcorner", very near start]&{\leq_{\Xi}}\ar[d, twoheadrightarrow, "\pi_2"]\\
&X\ar[r, "\xi_X"]&\Xi
\end{tikzcd}
\]
\begin{definition}
For a topos $\E$ with a local state classifier $\Xi$ and an object $X\in \ob(\E)$, we define $\Xi_X$ by
\[
\Xi_X\coloneqq \{(s,x)\in \Xi\times X\mid s\leq \xi_X(x)\}
\]
interpreted in the internal language in $\E$.
\end{definition}
This is exactly the same as the pullback
\[
\begin{tikzcd}
\Xi_X\ar[r]\ar[d, twoheadrightarrow]\arrow[rd, phantom, "\lrcorner", very near start]&{\leq_{\Xi}}\ar[d, twoheadrightarrow, "\pi_2"]\\
X\ar[r, "\xi_X"]&\Xi,
\end{tikzcd}
\]
\begin{example}
\end{example}
\begin{conjecture}
For a topos $\E$ with LSC $\Xi$, the LSC of the slice topos $\E/X$ is given by the pullback
\[
\begin{tikzcd}
P\ar[r]\ar[d, twoheadrightarrow]\arrow[rd, phantom, "\lrcorner", very near start]&{\leq_{\Xi}}\ar[d, twoheadrightarrow, "\pi_2"]\\
X\ar[r, "\xi_X"]&\Xi,
\end{tikzcd}
\]
with the cocone maps $\{\zeta_f \colon Y \to P\}_{f\colon Y \to X}$
\end{conjecture}
\section{Relationship with bounds \memo{ongoing}}\label{sec:Bounds}
There should be some connection with the notion of bound and LSC.
The reasons why I think so include
\begin{itemize}
\item Every Grothendieck ($\Set$-bounded) topos has a LSC, every finite presheaf ($\FinSet$-bounded) topos (over finite category) has a LSC, but $\FinSet^{\Z}$, which is not bounded over $\FinSet$ doesn't.
\item Informally speaking, an object $B$ is a bound, if and only if \dq{every state of every object is a quotient state of a state of $B$.}
\end{itemize}
\begin{conjecture}
If a topos $\E$ has a local state classifier, then every bounded $\E$-topos has a local state classifier.
\end{conjecture}
\begin{conjecture}
An object $X$ of a Grothendieck topos $\E$ is a bound, if and only if $\xi_{X}\colon X\to \Xi$ is downward unbounded, in the sense that every upward closed subobject of $\Xi$ containing $\Image(\xi_{X})$ is $\Xi$ itself.
\end{conjecture}
\begin{example}
Even if the hyperconnected quotient generated by $B$ is $\E$ itself, $\E$ might not be a bound. For example, the object $B \coloneqq \Z/2\Z + \Z/3\Z$ in $\PSh(\Z/6\Z)$ is not a bound, but every non-trivial hyperconnected quotient does not contain $B$.
\end{example}
So what we need to consider is the \demph{broader correspondence} in \cite{hora2024internal}. \memo{And is related to Menni's paper \cite{menni2021hyperconnected}.}
\begin{conjecture}[\memo{Proven}, This is also proven by P.T. Johnstone. Its presheaf case is proven in \cite{menni2025nonsingular}]
As a restriction of \cite[][broader correspondence]{hora2024internal}, we obtain a one-to-one correspondence between
\begin{itemize}
\item Upward closed subobject of $\Xi$, and
\item Coreflective full subcategory closed under subquotients.
\item Order-preserving map $\Xi \to \Omega$
\end{itemize}
\end{conjecture}
\memo{It may subsume the monic skelta by Menni}
\begin{example}[Galois theory]\memo{Check and generalize it}
% Let $K$ be a nice field (like a field with characteristic $0$), and
Let $\Gal(\overline{\mathbb{F}_{p}}/\mathbb{F}_{p})$ be the absolute Galois group of a finite field $\mathbb{F}_{p}$.
The algebraic closure equipped with the action $\Gal(\overline{\mathbb{F}_{p}}/\mathbb{F}_{p})$ is an internal ring of $\Cont(\Gal(\overline{\mathbb{F}_{p}}/\mathbb{F}_{p}))$, with surjective $\xi_{\overline{\mathbb{F}_{p}}}$. For each open subgroup $S \subset \Gal(\overline{\mathbb{F}_{p}}/\mathbb{F}_{p})$ and its corresponding hyperconnected geometric morphism $\Cont(\Gal(\overline{\mathbb{F}_{p}}/\mathbb{F}_{p})) \to \PSh(\Gal(\overline{\mathbb{F}_{p}}/\mathbb{F}_{p})/S)$, the counit $K_S \rightarrowtail \overline{\mathbb{F}_{p}}$ is the embedding of the Galois-correspondant.
\end{example}
% \section{Presentability}
% Not only every Grothendieck topos, but every category of models of an equational theory has an LSC. This might be generalized as follows:
% \begin{conjecture}
% Every locally presentable category has a local state classifier.
% \end{conjecture}
\section{Internally complete semilattice}
\begin{definition}
For an internal poset $P$ in a topos $\E$ and an object $I$, \demph{the $I$-indexed meet} $\land_I$ is the internal right adjoint of the diagonal morphism
\[
\Delta_I \colon \Xi\to \Xi^{I}.
\]
\memo{check} Externally speaking, the $\land_I$ exists if and only if there exists a right adjoint to
\[
{-}\circ \pi_1:\E(X, \Xi) \to \E(X\times I, \Xi)
\]
for any $X\in \ob(\E)$ that is natural in $X$.
\end{definition}
\memo{Possibly, the right condition might be the internal completeness, not the special case of it, namely the existence of the bottom object.}
\printbibliography
\end{document}