English
Related papers

Related papers: The direction functor for Schreier extensions of m…

200 papers

We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…

Category Theory · Mathematics 2021-04-14 Alan S. Cigoli , Sandra Mantovani , Giuseppe Metere , Enrico M. Vitale

Cosetal extensions of monoids generalise extensions of groups, special Schreier extensions of monoids and Leech's normal extensions of groups by monoids. They share a number of properties with group extensions, including a notion of Baer…

Rings and Algebras · Mathematics 2022-01-19 Peter Faul , Graham Manuell

We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor…

Representation Theory · Mathematics 2021-09-09 Nan Gao , Julian Külshammer , Sondre Kvamme , Chrysostomos Psaroudakis

We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently…

Group Theory · Mathematics 2010-04-02 Ganna Kudryavtseva , Volodymyr Mazorchuk

This article aims to provide a novel formalization of the concept of computational irreducibility in terms of the exactness of functorial correspondence between a category of data structures and elementary computations and a corresponding…

Computational Complexity · Computer Science 2023-01-13 Jonathan Gorard

We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the…

Quantum Algebra · Mathematics 2021-02-23 Leonard Hardiman

We give an overview of a number of Schreier-type extensions of monoids and discuss the relation between them. We begin by discussing the characterisations of split extensions of groups, extensions of groups with abelian kernel and finally…

Rings and Algebras · Mathematics 2022-03-02 P. F. Faul

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

Representation Theory · Mathematics 2026-04-09 Nadia Romero

Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories…

Combinatorics · Mathematics 2026-05-06 Max Demirdilek , Christian Reiher , Christoph Schweigert

The analogy between Yetter's deformation theory form (lax) monoidal functors and Gerstenahaber's deformation theory for associative algebras is solidified by shown that under reasonable conditions the category of functors with an action of…

Category Theory · Mathematics 2007-05-23 David N. Yetter

Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed container resemble those of a monoid, while the data and laws of a…

Logic in Computer Science · Computer Science 2016-05-06 Danel Ahman , Tarmo Uustalu

Let $k$ be a commutative $\mathbb{Q}$-algebra. We study families of functors between categories of finitely generated $R$-modules which are defined for all commutative $k$-algebras $R$ simultaneously and are compatible with base changes.…

Category Theory · Mathematics 2020-01-29 Martin Brandenburg

We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…

Algebraic Topology · Mathematics 2021-09-14 David White

In this monograph, we extend S. Schwede's exact sequence interpretation of the Gerstenhaber bracket in Hochschild cohomology to certain exact and monoidal categories. Therefore we establish an explicit description of an isomorphism by A.…

Rings and Algebras · Mathematics 2016-05-23 Reiner Hermann

We relate the old and new cohomology monoids of an arbitrary monoid $M$ with coefficients in semimodules over $M$, introduced in the author's previous papers, to monoid and group extensions. More precisely, the old and new second cohomology…

K-Theory and Homology · Mathematics 2017-03-29 Alex Patchkoria

We develop a cohomological approach to M\"obius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define M\"obius cohomology as the…

Algebraic Topology · Mathematics 2024-11-08 Alex Elchesen , Amit Patel

In this work we construct an extension for the category of 0-modules by analogy with [H.-J. Baues and G. Wirshing, Cohomology of small categories, J. Pure Appl. Algebra, 38(1985), 187-211]. The 0-cohomology functor becomes a derived functor…

Category Theory · Mathematics 2008-03-03 A. A. Kostin , B. V. Novikov

We continue our study of the monoidal category $D(G)$. At the level of cohomology we transfer the duality functor to the derived category of Hecke dg-modules. In the process we develop a more general and streamlined approach to the…

Number Theory · Mathematics 2023-05-16 Peter Schneider , Claus Sorensen

What are the fiber functors on small additive monoidal categories C which are not abelian? We give an answer which leads to a new Tannaka duality theorem for bialgebroids generalizing earlier results by Phung Ho Hai. The construction…

Quantum Algebra · Mathematics 2009-07-10 K. Szlachanyi

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

Logic in Computer Science · Computer Science 2015-07-01 Hyvernat Pierre
‹ Prev 1 2 3 10 Next ›