The Jónsson-Tarski topos is ‘the topos analogue of the Cantor space’.^{1}
The Jónsson-Tarski topos $\mathcal{J}_2$ is the category of Jónsson-Tarski algebras considered as topos, i.e. its objects are sets $X$ together with an isomorphism $X\to X\times X$ and morphisms are functions that commute with the structure isomorphisms.
$\mathcal{J}_2$ is an example of an algebraic variety that is also a topos (cf. Johnstone 1985).
$\mathcal{J}_2=Sh(M_2,J)$ where $M_2$ is the free monoid on two generators $a, b$ and $J$ is the coverage whose only covering family on the unique object $\cdot$ of $M_2$ is $\{a:\cdot\rightarrow \cdot ,b:\cdot\rightarrow\cdot\}$. So $\mathcal{J}_2$ is in a fact a Grothendieck topos.
$M_2$, as a free monoid, is cancellative, hence all-monic and, accordingly, $\mathcal{J}_2$ is an étendue (Peter Freyd). It is discussed from this perspective as a petit topos for labeled graphs in (Lawvere 1989).
Actually, Freyd observed that $\mathcal{J}_2/F(1)\cong Sh(2^\mathbb{N})$ with $F(1)$ the free Jónsson-Tarski algebra on one generator and $2^\mathbb{N}$ the Cantor space - this motivates the above quote from Bunge&Funk: $\mathcal{J}_2$ looks locally like (the sheaf topos on) $2^\mathbb{N}$ ! $Sh(2^\mathbb{N})$ classifies ‘ subsets of $\mathbb{N}$ ‘ in the sense that for cocomplete $\mathcal{E}$ geometric morphisms $\mathcal{E}\to Sh(2^\mathbb{N})$ correspond to morphisms $\Delta(\mathbb{N})\to\Delta(2)$ in $\mathcal{E}$, with $\Delta$ the constant sheaf functor? (cf. Mac Lane& Moerdijk, ex.VIII.10, pp.470-71).
The idea to consider generalizations of $\mathcal{J}_2$ seemed to have appeared first in the context of work on étendues (Rosenthal 1981, Lawvere 1989).
K. Rosenthal (1981) starts from two basic facts about étendues, namely that $Set^{\mathcal{C}^{op}}$ is an étendue iff all morphisms in $\mathcal{C}$ are monic, and that $Sh(\mathcal{E},J)$ is an étendue if $\mathcal{E}$ is an étendue. His goal is to construct étendues from an all-monic $\mathcal{C}$ by defining a topology $J$ on $Set^{\mathcal{C}^{op}}$ from a functor $H:\mathcal{C}\to Set$ satisfying:
$H(f)$ is monic ,and
if $x\in Im(H(f))\cap Im(H(g))$ then there is $k\in\mathcal{C}$ with $k\leq f$ and $k\leq g$ such that $x\in Im(H(k))$.
Now given $X\in\mathcal{C}$ and a sieve $B\in\Omega(X)$ define a sieve
$j_X(B):=\{\quad f\in\mathcal{C}| cod(f)=X\quad\wedge\quad Im(H(f))\subseteq\bigcup _{g\in B} Im(H(g))\quad\}.$
The resulting map $j:\Omega\to\Omega$ is a topology.
For $\mathcal{C}^{op}=\mathcal{M}_2$, the free monoid on two generators, and $H(X)=2^\mathbb{N}$, the functor constantly the Cantor set, this yields $\mathcal{J}_2$.
The generalization to $\mathcal{C}^{op}=\mathcal{M}_\infty$, the free monoid on countably infinite many generators, and the Baire space $\mathbb{B}=\mathbb{N}^\mathbb{N}$ exhibits the infinite Jónsson-Tarski topos $\mathcal{J}_\infty$, i.e. the category of sets $A$ with an isomorphism to $A^\mathbb{N}$, as $Sh(\mathbb{N}^\mathbb{N})$ locally.
Work on a categorical concept of self-similarity led T. Leinster (2007) to another generalization of the Jónsson-Tarski topos.
The first hint to a connection stems from the self-similarity system $M:\mathbf{1}⇸ \mathbf{1}$ with $M=\{0,1\}$ which is just a profunctorial instruction to paste two copies of a space $X$ together and the universal solution none other than the Cantor space $2^\mathbb{N}$.
Caveat: this entry is still under construction!
Marta Bunge, Jonathon Funk, Singular Coverings of Toposes , Springer LNM vol. 1890, Heidelberg 2006.
Peter Johnstone, When is a Variety a Topos? , Algebra Universalis 21 (1985) pp.198-212.
Peter Johnstone, Collapsed Toposes as Bitopological Spaces , pp.19-35 in Categorical Topology , World Scientific Singapore 1989.
Peter Johnstone, Collapsed Toposes and Cartesian Closed Varieties , JA 129 (1990) pp.446-480.
Peter Johnstone, Sketches of an Elephant vol. I , Oxford UP 2002. (sec. A2.1, p.80)
P. T. Johnstone, A. J. Power, T. Tsujishita, H. Watanabe, J. Worrell, The structure of categories of coalgebras , Theoret. Comp. Sci 260 (2001) pp.87-117.
F. William Lawvere, Qualitative Distinctions between some Toposes of Generalized Graphs , Cont. Math. 92 (1989) pp.261-299.
Tom Leinster, Jónsson-Tarski toposes, Talk Nice 2007. (slides)
S. Mac Lane, I. Moerdijk, Sheaves in Geometry and Logic , Springer Heidelberg 1994. (pp.470-471)
Kimmo I. Rosenthal, Étendues and Categories with Monic Maps , JPAA 22 (1981) pp.193-212.
James Worrell, A Note on Coalgebras and Presheaves , Electronic Notes in Theoretical Computer Science 65 no.3 (2003) pp.1-10.
Quote from Bunge&Funk (2006, p.183). ↩
Last revised on January 31, 2019 at 22:16:02. See the history of this page for a list of all contributions to it.