Related papers: Toposes of Discrete Monoid Actions

We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…

We study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly…

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

The aim of this paper is to study the points and localising subcategories of the topos of $M$-sets, for a finite monoid $M$. We show that the points of this topos can be fully classified using the idempotents of $M$. We introduce a topology…

We systematically investigate, for a monoid $M$, how topos-theoretic properties of $\mathbf{PSh}(M)$, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic…

We have generalised the notion of categorical theory in model theory to the context of coherent theories. We prove a duality result between the full sub-2-category of pretopoi which are categorical, and the 2-category of profinite monoids.…

The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…

Let $M$ be a monoid that is embeddable in a group. We consider the topos $\mathbf{PSh}(M)$ of sets equipped with a right $M$-action, and we study the subtoposes that are of monoid type, i.e. the subtoposes that are again of the form…

We introduce a nested sequence of monoids related to self-homotopy equivalences of fibrewise pointed spaces, such that the limit is the group of homotopy classes of fibrewise pointed self-equivalences. We explore this monoid for the fibred…

We define a class of sites such that the associated topos is equivalent to the category of smooth sets (representations) of some locally prodiscrete monoids (to be defined). Examples of locally prodiscrete monoids include profinite groups…

We consider the localisation of the 2-category of diffeological groupoids at weak equivalences from the perspective of anafunctors, and with this language, prove that the localisation of the 2-category of Lie groupoids is an essentially…

We provide concrete models for generalized morphisms and Morita equivalences of topological 2-groupoids by introducing the notions of crossings and crossed extensions of groupoid crossed modules. A systematic study of these objects is…

We establish a bi-equivalence between the bi-category of topoi with enough points and a localisation of a bi-subcategory of topological groupoids

We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a…

Let M, N be monoids, and PSh(M), PSh(N) their respective categories of right actions on sets. In this paper, we systematically investigate correspondences between properties of geometric morphisms PSh(M) $\rightarrow$ PSh(N) and properties…

The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module…

We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be…

We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…

Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold `up to homotopy' in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis…

We prove that four different notions of Morita equivalence for inverse semigroups motivated by, respectively, $C^{\ast}$-algebra theory, topos theory, semigroup theory and the theory of ordered groupoids are equivalent. We also show that…