Related papers: Compact inverse categories
In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that…
We define two categories, the category $\mathfrak{F}\mathfrak{G}$ of fuzzy subgroups, and the category $\mathfrak{F}\mathfrak{C}$ of $F$-inverse covers of inverse monoids, and prove that $\mathfrak{F}\mathfrak{G}$ fully embeds into…
Under non-commutative Stone duality, there is a correspondence between second countable Hausdorff \'etale groupoids which have a Cantor space of identities and what we call Tarski inverse monoids: that is, countable Boolean inverse…
A special inverse monoid is one defined by a presentation where all the defining relations have the form $r = 1$. By a result of Ivanov Margolis and Meakin the word problem for such an inverse monoid can often be reduced to the word problem…
The semidirect product of a finitely generated group dual with the symmetric group can be described through so-called group-theoretical categories of partitions (covers only a special case; due to Raum--Weber, 2015) and skew categories of…
We prove an analogue of Lowrey--Sch\"urg's algebraic Spivak's theorem when working over a base ring $A$ that is either a field or a nice enough discrete valuation ring, and after inverting the residual characteristic exponent $e$ in the…
A near-group category is an additively semisimple category with a product such that all but one of the simple objects is invertible. We classify braided structures on near-group categories, and give explicit numerical formulas for their…
We prove that every ordered partial action of an inverse semigroupoid on a partially ordered set admits a globalization. This result is used to establish a connection between ordered partial actions of groupoids and a multi-object analogue…
The purpose of this paper is to study the generalization of inverse semigroups (without order). An ordered semigroup S is called an inverse ordered semigroup if for every a 2 S, any two inverses of a are H-related. We prove that an ordered…
Cartesian reverse differential categories (CRDCs) are a recently defined structure which categorically model the reverse differentiation operations used in supervised learning. Here we define a related structure called a monoidal reverse…
We formulate an alternative approach to describing Ehresmann semigroups by means of left and right \'etale actions of a meet semilattice on a category. We also characterize the Ehresmann semigroups that arise as the set of all subsets of a…
We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…
We consider algebras and Frobenius algebras, internal to a monoidal category, that are graded over a finite abelian group. For the case that A is a twisted group algebra in a linear abelian monoidal category we obtain a graded…
We provide a survey of results concerning both the direct and inverse problems to the Cauchy-Davenport theorem and Erdos-Heilbronn problem in Additive Combinatorics. We formulate an open conjecture concerning the inverse Erdos-Heilbronn…
We give a classification of all exact structures on a given idempotent complete additive category. Using this, we investigate the structure of an exact category with finitely many indecomposables. We show that the relation of the…
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…
Let $R$ be a semilocal Dedekind domain. Under certain assumptions, we show that two (not necessarily unimodular) hermitian forms over an $R$-algebra with involution, which are rationally ismorphic and have isomorphic semisimple coradicals,…
Clifford theory relates the representation theory of finite groups to those of a fixed normal subgroup by means of induction and restriction, which is an adjoint pair of functors. We generalize this result to the situation of a…
Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of…
Various characterizations are offered of injectivity of the canonical fundamental group homomorphism for a certain class of inverse limit spaces. One application characterizes the existence of a kind of generalized universal cover.