Related papers: Sites and Grothendieck toposes: an introduction
We give a model-theoretic characterisation of the geometric theories classified by \'etendues -- the `locally localic' topoi. They are the theories where each model is determined, syntactically and semantically, by any witness of a fixed…
This is the first chapter in our "Toric Topology" book project. Further chapters are coming. Comments and suggestions are very welcome.
We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…
We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure,…
We study the notion of geometric structures for toposes: This generalizes the notion of (X,G) manifolds. We give some applications to algebraic geometry
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…
Toric topology emerged in the end of the 1990s on the borders of equivariant topology, algebraic and symplectic geometry, combinatorics and commutative algebra. It has quickly grown up into a very active area with many interdisciplinary…
We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to…
A quick overview of category theory and topos theory including slice categories, monics, epics, isos, diagrams, cones, cocones, limits, colimits, products and coproducts, pushouts and pullbacks, equalizers and coequalizers, initial and…
We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introduce the notion of weak morphism of toposes and characterize…
We study various characterizations of higher sites over a given $\infty$-category $\mathcal{C}$ which are conceptually in line with their classical ordinary categorical counterparts, and extract some new results about $\infty$-topos theory…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
In this survey, we provide an overview of category theory-derived machine learning from four mainstream perspectives: gradient-based learning, probability-based learning, invariance and equivalence-based learning, and topos-based learning.…
The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum…
In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…
In this paper we deal with Grothendieck's interpretation of Artin's interpretation of Galois's Galois Theory (and its natural relation with the fundamental group and the theory of coverings) as he developed it in Expose V, section 4,…
A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…
Various topological concepts are often involved in the research of mathematical logic, and almost all of these concepts can be regarded as developing from the Stone representation theorem. In the Stone representation theorem, a Boolean…
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…
Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum…