Related papers: Partial monoid actions on objects in categories wi…
The aim of this paper is to characterize the notion of internal category (groupoid) in the category of Leibniz algebras and investigate the properties of well-known notions such as covering groupoid and groupoid operations (actions) in this…
To an inverse semigroup, we associate an \'etale groupoid such that its actions on topological spaces are equivalent to actions of the inverse semigroup. Both the object and the arrow space of this groupoid are non-Hausdorff. We show that…
Consider a locally compact group $G$ and a locally compact space $X$. A local right action of $G$ on $X$ is a continuous map $(x,p)\mapsto x\cdot p$ from an open subset $\Gamma$ of the Cartesian product $X\times G$ to $X$ satisfying certain…
The recently developed theory of partial actions of discrete groups on $C^*$-algebras is extended. A related concept of actions of inverse semigroups on $C^*$-algebras is defined, including covariant representations and crossed products.…
We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…
We introduce notions of weak and strong equivalence for non-saturated Fell bundles over locally compact groups and show that every Fell bundle is strongly (resp. weakly) equivalent to a semidirect product Fell bundle for a partial (resp.…
We consider two categories of C*-algebras; in the first, the isomorphisms are ordinary isomorphisms, and in the second, the isomorphisms are Morita equivalences. We show how these two categories, and categories of dynamical systems based on…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their…
We show that if X is any proper complex variety, there is a weight decomposition on the real schematic homotopy type, in the form of an algebraic G_m-action. This extends to a real Hodge structure, in the form of a discrete C^*-action, such…
We consider a smooth compact manifold with boundary, $M$, embedded in a smooth manifold of the same dimension on which an amenable group $\Gamma$ acts by isometries. We do not assume $M$ to be invariant under $\Gamma$. This results in a…
Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and…
If $X$ is a connected complex manifold with $d_X = 2$ that admits the holomorphic and transitive action of a (connected) Lie group $G$, then the action extends to an action of the complexification $\hat{G}$ of $G$ on $X$ except when either…
We develop a theory of twisted actions of categorical groups using a notion of semidirect product of categories. We work through numerous examples to demonstrate the power of these notions. Turning to representations, which are actions that…
We study equicontinuous actions of semisimple groups and some generalizations. We prove that any such action is universally closed, and in particular proper. We derive various applications, both old and new, including closedness of…
Given a pair of adjoint functors between two arbitrary categories it induces mutually inverse equivalences between the full subcategories of the initial ones, consisting of objects for which the arrows of adjunction are isomorphisms. We…
We prove a monomialization theorem for mappings in general classes of infinitely differentiable functions that are called quasianalytic. Examples include Denjoy-Carleman classes, the class of $\cC^\infty$ functions definable in a…
We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice…
We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable conditions (including that M forms a factorization system),…
Given a monoidal category C, an ordinary category M, and a monad T in M, the lifts in a strict sense of a fixed action of C on M to an action of C on the Eilenberg-Moore category of T-modules in M are in a bijective correspondence with…