Related papers: The Gray tensor product via factorisation
In this work we present a general and versatile algorithmic framework for exhaustively generating a large variety of different combinatorial objects, based on encoding them as permutations. This approach provides a unified view on many…
Forming the product of two geometric spaces is one of the most basic operations in geometry, but in the spectral-triple formulation of non-commutative geometry, the standard prescription for taking the product of two real spectral triples…
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…
A new connection between two different necessary conditions for a polymatroid to be linearly representable is presented. Specifically, we prove that the existence of a tensor product with the uniform matroid of rank two on three elements…
Abstract. This article determines relations between two notions concerning monoids: factorability structure, introduced to simplify the bar complex; and quadratic normalisation, introduced to generalise quadratic rewriting systems and…
We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…
A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This…
Several physics-based algorithms for factorizing large number were recently published. A notable recent one by Schleich et al. uses Gauss sums for distinguishing between factors and non-factors. We demonstrate two NMR techniques that…
This article offers an intuitive introduction to monoidal categories through the lens of painting, presenting abstract mathematical concepts with visual and tactile analogies. Aimed at curious undergraduates and non-specialists, it seeks to…
Multidimensional factorization method is formulated in arbitrary curvilinear coordinates. Particular cases of polar and spherical coordinates are considered and matrix potentials with separating variables are constructed. A new class of…
We construct dual formulation of linearised gravity in first order tetrad formalism in arbitrary dimensions within the path integral framework following the standard duality algorithm making use of the global shift symmetry of the tetrad…
We study direct-sum decompositions of torsion-free, finitely generated modules over a (commutative) Bass ring $R$ through the factorization theory of the corresponding monoid $T(R)$. Results of Levy-Wiegand and Levy-Odenthal together with a…
We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…
We study the notion of a "differential 2-rig", a category R with coproducts and a monoidal structure distributing over them, also equipped with an endofunctor D : R -> R that satisfies a categorified analogue of the Leibniz rule. This is…
We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product…
Let G be a semisimple, simply connected linear algebraic group over an algebraically closed field k of characteristic p > 0. In a recent paper [4], Doty introduces the notion of r-minuscule weight and exhibits a tensor product factorization…
The problem of the existence of non-pseudo-$\aleph_1$-compact $\mathbb R$-factorizable groups is studied. It is proved that any such group is submetrizable and has weight larger than $\omega_1$. Closely related results concerning the…
In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda…
The method of direct computation of universal (fibred) product in the category of commutative associative algebras of finite type with unity over a field is given and proven. The field of coefficients is not supposed to be algebraically…
This paper introduces and studies a categorical analogue of the familiar monoid semiring construction. By introducing an axiomatisation of summation that unifies notions of summation from algebraic program semantics with various notions of…