English
Related papers

Related papers: A dagger kernel category of complete orthomodular …

200 papers

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…

Rings and Algebras · Mathematics 2026-05-12 Joakim Arnlind , Stefan Wagner

We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous…

Quantum Physics · Physics 2013-01-01 Bob Coecke , Dusko Pavlovic , Jamie Vicary

In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"),…

Category Theory · Mathematics 2018-02-13 Yuri Manin

The notion of a matrix factorization was introduced by Eisenbud in the commutative case in his study of bounded (periodic) free resolutions over complete intersections. In this work, we extend the notion of (homogeneous) matrix…

Rings and Algebras · Mathematics 2013-08-01 Thomas Cassidy , Andrew Conner , Ellen Kirkman , W. Frank Moore

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

Hypergraph categories are symmetric monoidal categories where each object is equipped with a special commutative Frobenius algebra (SCFA). Dagger-hypergraph categories are the same, but with dagger-symmetric monoidal categories and…

Category Theory · Mathematics 2015-08-20 Aleks Kissinger

In this paper we study modular tensor categories (braided rigid balanced tensor categories with additional finiteness and non-degeneracy conditions), in particular, representations of quantum groups at roots of unity. We show that the…

q-alg · Mathematics 2016-09-08 Alexander Kirillov

Kernel-based subspace clustering, which addresses the nonlinear structures in data, is an evolving area of research. Despite noteworthy progressions, prevailing methodologies predominantly grapple with limitations relating to (i) the…

Machine Learning · Computer Science 2025-01-22 Kunpeng Xu , Lifei Chen , Shengrui Wang

This note relates topics in statistical mechanics, graph theory and combinatorics, lattice quantum field theory, super quantum mechanics and string theory. We give a precise relation between the dimer model on a graph embedded on a torus…

High Energy Physics - Theory · Physics 2007-11-12 R. Dijkgraaf , D. Orlando , S. Reffert

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

Category Theory · Mathematics 2026-03-02 Ismael Gutierrez Garcia , Luz Adriana Mejía Castaño

This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full…

Representation Theory · Mathematics 2024-09-27 Tobias Barthel , Dave Benson , Srikanth B. Iyengar , Henning Krause , Julia Pevtsova

We construct families of commutative (super) algebra objects in the category of weight modules for the unrolled restricted quantum group $\overline{U}_q^H(\mfg)$ of a simple Lie algebra $\mfg$ at roots of unity, and study their categories…

Representation Theory · Mathematics 2020-05-27 Thomas Creutzig , Matthew Rupert

Given an idempotent complete additive category, we show the there is an explicitly constructed topological space such that the lattice of exact substructures is anti-isomorphic to the lattice of closed subsets. In the special case that the…

Representation Theory · Mathematics 2026-02-02 Julia Sauter

In the present article, we explore a new approach for the study of orthomodular lattices, where we replace the problematic conjunction by a binary operator, called the Sasaki projection. We present a characterization of orthomodular…

Logic in Computer Science · Computer Science 2007-05-23 Olivier Brunet

Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…

Rings and Algebras · Mathematics 2007-05-23 Tomasz Brzezinski

The orbifold/condensation completion procedure of defect topological quantum field theories can be seen as carrying out a lattice or state sum model construction internal to an ambient theory. In this paper, we propose a conceptual…

Quantum Algebra · Mathematics 2026-05-22 Nils Carqueville , Tim Lüders

We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and…

Category Theory · Mathematics 2025-11-18 Matthew Di Meglio , Chris Heunen

A linear system on a smooth complex algebraic surface gives rise to a family of smooth curves in the surface. Such a family has a topological monodromy representation valued in the mapping class group of a fiber. Extending arguments of…

Algebraic Geometry · Mathematics 2024-10-08 Nick Salter

An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory…

Category Theory · Mathematics 2023-11-08 Soichiro Fujii

Let us denote by LF the class of all orthomodular lattices (OMLs) that are locally finite (i.e., L in LF provided each finite subset of L generates in L a finite subOML). We first show in this note how one can obtain new locally finite OMLs…

Logic · Mathematics 2022-04-18 Dominika Burešová , Pavel Pták