English
Related papers

Related papers: Factorisations of distributive laws

200 papers

This thesis focuses on topics in 2-category theory: in particular on double categories, pseudomonads and codescent objects. In Chapter 2 we recall all the necessary notions. In Chapter 3 we show that factorization systems can be…

Category Theory · Mathematics 2025-04-08 Miloslav Štěpán

Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new…

Category Theory · Mathematics 2008-06-03 S. S. Moskaliuk , A. T. Vlassov

We clarify the relation between the `bosonisation' construction (due to the author) which can be used to turn a Hopf algebra $B$ in the category of $H$-modules or $H$-comodules into an equivalent ordinary Hopf algebra, and a version of…

q-alg · Mathematics 2008-02-03 S. Majid

Factorization structures occur in toric differential and discrete geometry, and can be viewed in multiple ways, e.g., as objects determining substantial classes of explicit toric Sasaki and K\"ahler geometries, as special coordinates on…

Combinatorics · Mathematics 2026-01-21 Roland Púček

We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism $[T]:\mathcal A\to…

Representation Theory · Mathematics 2017-06-08 Kiyoshi Igusa , Gordana Todorov

We give a lightweight alternative construction of Jacobs's distributive law for multisets and distributions that does not involve any combinatorics. We first give a distributive law for lists and distributions, then apply a general theorem…

Logic in Computer Science · Computer Science 2024-03-05 Dexter Kozen , Alexandra Silva

We present a development of norms and discuss their relationship to factorization. In earlier work, the first named author introduced the notion of a normset, which is the image of the norm map. A normset is a monoid with its own…

Commutative Algebra · Mathematics 2024-06-24 Jim Coykendall , Richard Erwin Hasenauer

This paper has two purposes. The first is to extend the theory of linearly distributive categories by considering the structures that emerge in a special case: the normal duoidal category $(\mathsf{Poly} ,\mathcal{y}, \otimes, \triangleleft…

Category Theory · Mathematics 2024-07-03 David I. Spivak , Priyaa Varshinee Srinivasan

We give a characterization of the validity of the distributive law in a solid. There exists equivalence between the characterization and the modified axiom of distibutivity valid in a solid.

Logic · Mathematics 2017-11-10 Bruno Dinis , Imme van den Berg

We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…

Category Theory · Mathematics 2018-01-08 Clemens Berger , Ralph M. Kaufmann

Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…

Category Theory · Mathematics 2015-08-11 Joaquín Díaz Boils

Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…

Logic · Mathematics 2023-11-08 Robert Goldblatt

We prove some nice properties of anti-homomorphisms, some of which are analogic to that of homomorphisms. Meanwhile, we develop a new kind of composition called $*$-composition such that the $*$-composition of two anti-homomorphisms is…

Category Theory · Mathematics 2023-03-16 Tianwei Liang

Given a join semilattice $S$ with a minimum $\hat{0}$, the quarks (also called atoms in order theory) are the elements that cover $\hat{0}$, and for each $x \in S \setminus \{\hat{0}\}$ a factorization (into quarks) of $x$ is a minimal set…

Combinatorics · Mathematics 2023-05-02 Khalid Ajran , Felix Gotti

The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…

Logic in Computer Science · Computer Science 2007-05-23 Thomas Colcombet

Let $\varphi\colon\Gamma\to G$ be a homomorphism of groups. We consider factorizations $\Gamma\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two…

Group Theory · Mathematics 2014-11-04 Emmanuel D. Farjoun , Yoav Segev

We consider and reformulate a recent definition of multiplication between distributions. We show that this definition can be adopted, in particular, to prove biorthonormality of some distributions arising when looking to the (generalized)…

Mathematical Physics · Physics 2025-01-28 Fabio Bagarello

Given 2-categories $\mathcal{C}$ and $\mathcal{D}$, let $\textrm{Lax}(\mathcal{C},\mathcal{D})$ denote the 2-category of lax functors, lax natural transformations and modifications, and $[\mathcal{C},\mathcal{D}]_\mathrm{lnt}$ its full…

Category Theory · Mathematics 2022-03-08 Branko Nikolić

The applicability of the factorization method is extended to the case of quantum fractional-differential Hamiltonians. In contrast with the conventional factorization, it is shown that the `factorization energy' is now a…

Mathematical Physics · Physics 2016-05-05 Fernando Olivar-Romero , Oscar Rosas-Ortiz

This article brings in two new discrete distributions: multidimensional Binomial distribution and multidimensional Poisson distribution. Those distributions were created in eventology as more correct generalizations of Binomial and Poisson…

General Mathematics · Mathematics 2011-02-23 Oleg Yu. Vorobyev , Lavrentiy S. Golovkov