English
Related papers

Related papers: Reflecting Algebraically Compact Functors

200 papers

Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of…

Logic · Mathematics 2018-11-14 Lev D. Beklemishev

Associated to any acyclic cluster algebra is a corresponding triangulated category known as the cluster category. It is known that there is a one-to-one correspondence between cluster variables in the cluster algebra and exceptional…

Representation Theory · Mathematics 2020-12-21 Aslak Bakke Buan , Bethany Marsh , Idun Reiten

This contribution studies a specific deformation of algebras with anti-involution. Starting with the observation that twisting the multiplication of such an algebra by its anti-involution generates a Hom-associative algebra of type II, it…

Rings and Algebras · Mathematics 2023-10-03 Alexis Langlois-Rémillard

We study closedness of the range, adjointability and generalized invertibility of modular operators between Hilbert modules over locally C*-algebras of coefficients. Our investigations and the recent results of M. Frank [Characterizing…

Operator Algebras · Mathematics 2011-08-31 Kamran Sharifi

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…

Algebraic Geometry · Mathematics 2016-07-15 Nadezda V. Timofeeva

We define the concept of weak pseudotwistor for an algebra $(A, \mu)$ in a monoidal category $\mathcal{C}$, as a morphism $T:A\otimes A\rightarrow A\otimes A$ in $\mathcal{C}$, satisfying some axioms ensuring that $(A, \mu \circ T)$ is also…

Quantum Algebra · Mathematics 2016-04-20 Florin Panaite , Freddy Van Oystaeyen

We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles. Any reflexive object in a ribbon category gives rise…

Logic in Computer Science · Computer Science 2024-05-17 Masahito Hasegawa , Serge Lechenne

We prove that given any strong, stable derivator and a $t$-structure on its base triangulated category $\cal D$, the $t$-structure canonically lifts to all the (coherent) diagram categories and each incoherent diagram in the heart uniquely…

Category Theory · Mathematics 2023-10-27 Manuel Saorín , Jan Šťovíček , Simone Virili

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

Algebraic Geometry · Mathematics 2012-05-08 J. Navarro , C. Sancho , P. Sancho

We demonstrate that topological defects in a rational conformal field theory can be described by a classifying algebra for defects - a finite-dimensional semisimple unital commutative associative algebra whose irreducible representations…

High Energy Physics - Theory · Physics 2010-11-23 Jurgen Fuchs , Christoph Schweigert , Carl Stigner

An algebra $A$ is said to be directly finite if each left invertible element in the (conditional) unitization of $A$ is right invertible. We show that the reduced group ${\rm C}^\ast$-algebra of a unimodular group is directly finite,…

Functional Analysis · Mathematics 2015-07-30 Yemon Choi

In the work of Hoshino, Kato and Miyachi, the authors look at t-structures induced by a compact object, C, of a triangulated category, T, which is rigid in the sense of Iyama and Yoshino. Hoshino, Kato and Miyachi show that such an object…

Category Theory · Mathematics 2007-10-23 David Pauksztello

First, we show that a compact object $C$ in a triangulated category, which satisfies suitable conditions, induces a $t$-structure. Second, in an abelian category we show that a complex $P^{\centerdot}$ of small projective objects of term…

Rings and Algebras · Mathematics 2007-05-23 Mitsuo Hoshino , Yoshiaki Kato , Jun-ichi Miyachi

Let $RQ$ be the path algebra of a Dynkin quiver $Q$ over a commutative noetherian ring $R$. We show that any homotopically smashing t-structure in the derived category of $RQ$ is compactly generated. We also give a complete description of…

Representation Theory · Mathematics 2025-05-28 Enrico Sabatini

This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving…

Logic in Computer Science · Computer Science 2020-02-18 Jiří Adámek , Stefan Milius , Lawrence S. Moss

We study t-structures generated by sets of objects which satisfy a condition weaker than the compactness. We also study weight structures cogenerated by sets of objects satisfying the dual condition. Under some appropriate hypothesis, it…

Category Theory · Mathematics 2020-02-05 George Ciprian Modoi

A compatible associative algebra is a vector space equipped with two associative multiplication structures that interact in a certain natural way. This article presents the classification of these algebras with dimension less than four, as…

Rings and Algebras · Mathematics 2024-12-05 Erik Mainellis , Bouzid Mosbahi , Ahmed Zahari

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…

Category Theory · Mathematics 2026-02-20 Kevin Coulembier

We show that if $T$ is any of four semigroups of two elements that are not groups, there exists a finite dimensional associative $T$-graded algebra over a field of characteristic $0$ such that the codimensions of its graded polynomial…

Rings and Algebras · Mathematics 2017-01-23 Alexey Sergeevich Gordienko

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…