Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.34813

Some étale groupoids as groupoids of fractions

Mark V. Lawson
View original source ↗Read source document ↗Export metadata ↓

Abstract

Given a monoid that can be embedded in a group and that acts partially on a set, we show that under certain conditions the category associated with the partial action has a groupoid of fractions. By imposing some topological conditions on the action, we show that the groupoid is actually étale. This étale groupoid arises naturally in $C^{\ast}$-algebra theory.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mark V. Lawson. 2026-09-28. Some étale groupoids as groupoids of fractions. https://arxiv.org/abs/2609.34813

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Sheaves on Grothendieck constructions

In this paper we introduce a generalisation of a covariant Grothendieck construction to the setting of sites. We study the basic properties of defined site structures on Grothendieck constructions as well as we treat the cohomological aspects of corresponding toposes of sheaves. Despite the fact that the toposes of $G$-equivariant sheaves $Sh_G(X)$ have been introduced in literature, their cohomological aspects have not been treated properly in a desired fashion. So in the end of the paper we study some of the acyclic families, introduce new type of acyclic resolutions which we call the $G$-equivariant Godement resolutions, the degree of actions, and some other basic cohomological concepts arising in $Sh_G(X)$.

math.CT↗
arXiv2026

Euclidean interval objects in categories with finite products

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their definition does not assume a pre-existing notion of real number. The universal property characterises such structures up to isomorphism, supports the definition of functions between intervals, and provides a means of verifying identities between functions. In the category of sets, the universal property characterises closed intervals of real numbers with nonempty interior. In the the category of topological spaces, we obtain intervals with the Euclidean topology. We also prove that every elementary topos with natural numbers object contains an interval object; furthermore, we characterise interval objects as intervals of real numbers in the Cauchy completion of the rational numbers within the Dedekind reals.

math.CT↗
arXiv2026

Formal weakly enriched category theory

A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.

math.CT↗