English
Related papers

Related papers: Generalised M\"obius Categories and Convolution Kl…

200 papers

A Conway semiring is a semiring $S$ equipped with a unary operation $^*:S \to S$, always called 'star', satisfying the sum star and product star identities. It is known that these identities imply a Kleene type theorem. Some computationally…

Discrete Mathematics · Computer Science 2015-03-13 S. L. Bloom , Z. Esik , W. Kuich

Constellations are partial algebras that are one-sided generalisations of categories. It has previously been shown that the category of inductive constellations is isomorphic to the category of left restriction semigroups. Here we consider…

Category Theory · Mathematics 2015-10-21 Victoria Gould , Tim Stokes

We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting…

Algebraic Geometry · Mathematics 2009-01-01 Alexander Polishchuk

We introduce M\"obius strip diagram algebras (and their monoid and categorical versions) as subalgebras of a partition-style diagram calculus in which strands may carry handles and M\"obius strip features. We identify the resulting diagram…

Representation Theory · Mathematics 2026-02-13 D. W. Collison , D. Tubbenhauer

We introduce $\omega$-catoids as generalisations of (strict) $\omega$-categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rewriting. We also introduce $\omega$-quantales that…

Logic in Computer Science · Computer Science 2025-07-01 Cameron Calk , Philippe Malbos , Damien Pous , Georg Struth

Clones are specializations of operads forming powerful instruments to describe varieties of algebras wherein repeating variables are allowed in their equations. They allow us in this way to realize and study a large range of algebraic…

Combinatorics · Mathematics 2026-04-08 Samuele Giraudo

Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions relative to ternary relations. The resulting notion of…

Logic in Computer Science · Computer Science 2023-06-22 Brijesh Dongol , Ian J. Hayes , Georg Struth

We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of examples that cannot be handled directly by Kleene algebras.…

Logic in Computer Science · Computer Science 2007-05-23 Riccardo Pucella

This paper summarizes results on some topics in the max-plus convex geometry, mainly concerning the role of multiorder, Kleene stars and cyclic projectors, and relates them to some topics in max algebra. The multiorder principle leads to…

Metric Geometry · Mathematics 2014-01-16 Sergei Sergeev

We extend the definition and study the algebraic properties of the polylogarithm Li(T), where T is rational series over the alphabet X = {x 0, x 1} belonging to suitable subalgebras of rational series.

Combinatorics · Mathematics 2016-04-11 Ngoc Hoang , Gérard Duchamp , Hoang Ngoc Minh

Recently the first author studied multi-gradings for generalised cluster categories, these being 2-Calabi-Yau triangulated categories with a choice of cluster-tilting object. The grading on the category corresponds to a grading on the…

Representation Theory · Mathematics 2018-09-28 Jan E. Grabowski , Matthew Pressland

In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\…

Algebraic Geometry · Mathematics 2012-01-09 Oliver Lorscheid

We develop a (co)algebraic framework to study a family of process calculi with monadic branching structures and recursion operators. Our framework features a uniform semantics of process terms and a complete axiomatisation of semantic…

Logic in Computer Science · Computer Science 2022-07-26 Todd Schmid , Wojciech Rozowski , Alexandra Silva , Jurriaan Rot

In this note, we propose a simple-looking but broad conjecture about star-algebras over the field of real numbers. The conjecture enables many matrix decompositions to be represented by star-algebras and star-ideals. This paper is written…

Rings and Algebras · Mathematics 2023-08-10 Ran Gutin

We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius categories we consider are the categories of finitely generated Gorenstein…

Representation Theory · Mathematics 2017-10-19 Alfredo Nájera Chávez

Building on work by Geiss-Leclerc-Schroer and by Buan-Iyama-Reiten-Scott we investigate the link between certain cluster algebras with coefficients and suitable 2-Calabi-Yau categories. These include the cluster-categories associated with…

Representation Theory · Mathematics 2009-01-09 Changjian Fu , Bernhard Keller

Modular categories are important algebraic structures in a variety of subjects in mathematics and physics. We provide an explicit, motivated and elementary definition of a modular category over a field of characteristic 0 as an equivalence…

Quantum Algebra · Mathematics 2013-05-13 Orit Davidovich , Tobias Hagge , Zhenghan Wang

Clones of functions play a foundational role in both universal algebra and theoretical computer science. In this work, we introduce clone merge monoids (cm-monoids), a unifying one-sorted algebraic framework that integrates abstract clones,…

Category Theory · Mathematics 2025-01-28 Antonio Bucciarelli , Pierre-Louis Curien , Antonino Salibra

M\"obius transformations play an important role in both geometry and spherical image processing - they are the group of conformal automorphisms of 2D surfaces and the spherical equivalent of homographies. Here we present a novel,…

Computer Vision and Pattern Recognition · Computer Science 2022-05-16 Thomas W. Mitchel , Noam Aigerman , Vladimir G. Kim , Michael Kazhdan

Let Q be a finite quiver without oriented cycles, and let $\Lambda$ be the associated preprojective algebra. To each terminal representation M of Q (these are certain preinjective representations), we attach a natural subcategory $C_M$ of…

Representation Theory · Mathematics 2010-08-02 Christof Geiss , Bernard Leclerc , Jan Schröer
‹ Prev 1 2 3 10 Next ›