English
Related papers

Related papers: Algebraically universal categories of relational s…

200 papers

Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how…

Category Theory · Mathematics 2011-04-14 Stephen Lack , Jiri Rosicky

Noncommutative near-group fusion categories were completely classified in the previous work of the first named author by using an operator algebraic method (and hence under the assumption of unitarity), and they were shown to be group…

Category Theory · Mathematics 2021-07-14 Masaki Izumi , Henry Tucker

Given a variety of algebras V, we study categories of algebras in V with a compatible structure of uniform space. The lattice of compatible uniformities of an algebra, Unif A, can be considered a generalization of the lattice of congruences…

Rings and Algebras · Mathematics 2007-05-23 William H. Rowan

In this paper, we introduce the notion of a von Neumann category, as a generalization and categorification of von Neumann algebra. A von Neumann category is a premonoidal category with compatible dagger structure which embeds as a double…

Category Theory · Mathematics 2012-09-04 Richard Blute , Marc Comeau

We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic.…

Category Theory · Mathematics 2012-08-21 J. R. B. Cockett , G. S. H. Cruttwell , J. D. Gallagher

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

Algebraic Topology · Mathematics 2019-10-30 Stefan Schwede

The paper is devoted to the investigation of finite dimensional commutative nilpotent (associative) algebras N over an arbitrary base field of characteristic zero. Due to the lack of a general structure theory for algebras of this type (as…

Commutative Algebra · Mathematics 2011-08-08 Gregor Fels , Wilhelm Kaup

We give bounds on the global dimension of a finite length, piecewise hereditary category in terms of quantitative connectivity properties of its graph of indecomposables. We use this to show that the global dimension of a finite…

Rings and Algebras · Mathematics 2008-05-26 Sefi Ladkani

Many important computational structures involve an intricate interplay between algebraic features (given by operations on the underlying set) and relational features (taking account of notions such as order or distance). This paper…

Logic in Computer Science · Computer Science 2024-12-18 Jan Jurka , Stefan Milius , Henning Urbat

We introduce categories of weak factorization algebras and factorization spaces, and prove that they are equivalent to the categories of ordinary factorization algebras and spaces, respectively. This allows us to define the pullback of a…

Algebraic Geometry · Mathematics 2019-11-06 Emily Cliff

We formalize the way in which one can think about cluster algebras of infinite rank by showing that every rooted cluster algebra of infinite rank can be written as a colimit of rooted cluster algebras of finite rank. Relying on the proof of…

Representation Theory · Mathematics 2017-07-20 Sira Gratz

Using a relative version of Auslander's formula, we give a functorial approach to show that the bounded derived category of every Artin algebra admits a categorical resolution. This, in particular, implies that the bounded derived…

Representation Theory · Mathematics 2019-10-31 R. Hafezi , M. H. Keshavarz

We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…

Rings and Algebras · Mathematics 2021-09-28 Brett McLean

We study generalized splines from the perspective of the representation theory of the category of graphs with contractions. Our main theorem proves a kind of finite generation, which in turn implies the existence of a ``universal generating…

Combinatorics · Mathematics 2026-05-26 Jacob Matherne , Eric Ramos , Julianna Tymoczko

We derive a new sufficient condition for the existence of {\omega}-categorical universal structures in classes of relational structures with constraints, augmenting results by Cherlin, Shelah, Chi, and Hubi\v{c}ka and Ne\v{s}et\v{r}il.…

Logic · Mathematics 2012-03-29 Christian Pech , Maja Pech

Gelfand duality is a fundamental result that justifies thinking of general unital $C^*$-algebras as noncommutative versions of compact Hausdorff spaces. Inspired by this perspective, we investigate what noncommutative measurable spaces…

Operator Algebras · Mathematics 2026-02-24 Tobias Fritz , Antonio Lorenzin

A lifting of a semilattice S is an algebra A such that the semilattice of compact (=finitely generated) congruences of A is isomorphic to S. The aim of this work is to give a categorical theory of partial algebras endowed with a partial…

Category Theory · Mathematics 2010-12-10 Pierre Gillibert

In this article we classify indecomposable objects of the derived categories of finitely-generated modules over certain infinite-dimensional algebras. The considered class of algebras (which we call nodal algebras) contains such well-known…

Representation Theory · Mathematics 2007-05-23 Igor Burban , Yuriy Drozd

We provide some background on the category of classifiable $\mathrm{C}^*$-algebras, whose objects are infinite-dimensional, simple, separable, unital $\mathrm{C}^*$-algebras that have finite nuclear dimension and satisfy the universal…

Operator Algebras · Mathematics 2025-12-09 Bhishan Jacelon

To every finite-dimensional $\mathbb C$-algebra $\Lambda$ of finite representation type we associate an affine variety. These varieties are a large generalization of the varieties defined by "$u$ variables" satisfying "$u$-equations", first…

Representation Theory · Mathematics 2026-01-01 Nima Arkani-Hamed , Hadleigh Frost , Pierre-Guy Plamondon , Giulio Salvatori , Hugh Thomas