Related papers: Pullback Crossed Modules in the Category of Racks
A twisted ring is a ring endowed with a family of endomorphisms satisfying certain relations. One may then consider the notions of twisted module and twisted differential module. We study them and show that, under some general hypothesis,…
In this article, we study the commutativity between the pull-back and the push-forward functors on constructible functions in Cluckers--Loeser motivic integration.
In this paper, we define the notion of Hopf crossed square for cocommutative Hopf algebras extending the notions of crossed squares of groups and of Lie algebras. We prove the equivalence between the category of Hopf crossed squares and the…
We define and study the notion of a crossed module over an inverse semigroup and the corresponding $4$-term exact sequences, called crossed module extensions. For a crossed module $A$ over an $F$-inverse monoid $T$, we show that equivalence…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
Motivated by the need to relate the biparameter persistence module induced by a pair of scalar functions with the monoparameter persistence modules induced by each function separately, we introduce a construction that defines a kind of…
Given a braided pivotal category $\mathcal C$ and a pivotal module tensor category $\mathcal M$, we define a functor $\mathrm{Tr}_{\mathcal C}:\mathcal M \to \mathcal C$, called the associated categorified trace. By a result of…
We investigate the correspondence between generalized persistence modules and graded modules in the case the indexing set has a monoid action. We introduce the notion of an action category over a monoid graded ring. We show that the…
We study locally presentable categories equipped with a cofibrantly generated weak factorization system. Our main result is that these categories are closed under 2-limits, in particular under pseudopullbacks. We give applications to…
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…
Let C be a fusion category which is an extension of a fusion category D by a finite group G. We classify module categories over C in terms of module categories over D and the extension data (c,M,a) of C. We also describe functor categories…
In that paper, we prove that the collection of all FRBSU monoidal categories and the collection of all crossed modules form a 2 category.
The category of crossed complexes gives an algebraic model of the category of $CW$-complexes and cellular maps. We explain basic results on crossed complexes which allow the computation of free crossed resolutions of graph products of…
We construct the crossed product of a C(X)-algebra by an endomorphism, in such a way that it becomes induced by a Hilbert C(X)-bimodule. Furthermore we introduce the notion of C(X)-category, and discuss relationships with crossed products…
In this paper, we define the notion of crossed modules of groups with action and investigate related structures. Functions for computing of these structures have been written using the GAP computational discrete algebra programming…
We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context.…
The box product of Mackey functors has been studied extensively in Lewis's notes. As shown in Thevenaz and Webb's paper, a Mackey functor may be identified with a module over a certain algebra, called the Mackey algebra. We aim at…
In this paper, we give a Verlinde formula for computing the ranks of the bundles of twisted conformal blocks associated with a simple Lie algebra equipped with an action of a finite group $\Gamma$ and a positive integral level $\ell$ under…
We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions. We plan to use this result to define and study networks of…
A (t,s)-rack is a rack structure defined on a module over the ring $\ddot\Lambda=\mathbb{Z}[t^{\pm 1},s]/(s^2-(1-t)s)$. We identify necessary and sufficient conditions for two $(t,s)$-racks to be isomorphic. We define enhancements of the…