相关论文: Idempotents and the points of the topos of M-sets

** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a…

In this paper we have introduced the notion of $\mathcal{I}_{(s)}$-density point corresponding to the family of unbounded and $\mathcal{I}$-monotonic increasing positive real sequences, where $\mathcal{I}$ is the ideal of subsets of the set…

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 study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…

The main purpose of this paper is investigating classes of acts that are injective relative to all embeddings with indecomposable domains or codomains. We give some homological classifications of monoids in light of such kinds of…

The algebraic variety defined by the idempotents of an incidence monoid is investigated. Its irreducible components are determined. The intersection with an antichain submonoid is shown to be the union of these irreducible components. The…

We calculate the rank and idempotent rank of the semigroup $E(X,P)$ generated by the idempotents of the semigroup $T(X,P)$, which consists of all transformations of the finite set $X$ preserving a non-uniform partition $P$. We also classify…

We study groups of homeomorphic bijections on spaces that are finite unions of compact connected linearly ordered subsets. We prove that all such groups when endowed with the topology of point-wise convergence are topological groups. }

We generalize the fixed-point property for discrete groups acting on convex cones given by Monod in \cite{monod} to topological groups. At first, we focus on describing this fixed-point property from a functional point of view, and then we…

We categorify the adjunction between locales and topological spaces, this amounts to an adjunction between (generalized) bounded ionads and topoi. We show that the adjunction is idempotent. We relate this adjunction to the Scott adjunction,…

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…

Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos…

We show that an idempotent lies in the center if it commutes with the other idempotents in the ring. Next, we introduce a partition of the set of idempotents and show that the automorphisms of the ring act transitively on each equivalence…

Recently, we have endowed various categories of groups with topologies. The purpose of this paper is to introduce on these categories others topologies which are statistically more suitable to study well-known problems in groups theory. We…

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 the theory of generalised ultracategories, these are relational extensions to ultracategories as defined by Lurie. An essential example of generalised ultracategories are topological spaces, and these play a fundamental role in…

The article focuses on four aspects related to the descent algebras of type $A$. They are modular idempotents, higher Lie powers, higher Lie modules and the right ideals of the symmetric group algebras generated by the Solomon's descent…

The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category.…

The paper is concerned with defining a topology on the set of ideals of codimension d of the algebra C^\infty(M,R) with M being a compact smooth manifold. Its main property is that it is compact Hausdorff and it contains as a subspace the…

We give a detailed and self-contained introduction to the theory of $\lambda $-toposes and prove the following: 1) A $\lambda $-separable $\lambda $-topos has enough $\lambda $-points. 2) The classifying $\lambda $-topos of a $\kappa $-site…