English
Related papers

Related papers: A Note On Coinduction Functors between Categories …

200 papers

A covariant functor from the category of mapping tori to a category of AF-algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding AF-algebras. We use this functor…

Operator Algebras · Mathematics 2016-01-14 Igor Nikolaev

Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in…

Logic in Computer Science · Computer Science 2018-09-14 Ekaterina Komendantskaya Dr , Yue Li

We study the relationship between the categorical entropy of the twist and cotwist functors along a spherical functor. In particular, we prove the categorical entropy of the twist functor coincides with that of the cotwist functor if the…

Algebraic Geometry · Mathematics 2022-09-15 Jongmyeong Kim

We introduce reflection functors on quiver schemes in the sense of Hausel--Wong--Wyss, generalizing those on quiver varieties. Also we construct some isomorphisms between quiver schemes whose underlying quivers are different.

Algebraic Geometry · Mathematics 2025-05-23 Ryo Terada , Daisuke Yamakawa

We calculate explicit formulas for the general equivariant Bondal-Orlov functors on the localized K-theory groups for a crepant birational transformation of toric DM stacks. We recall some facts that the Bondal-Orlov functors give…

Algebraic Geometry · Mathematics 2016-09-16 Yunfeng Jiang

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

Category Theory · Mathematics 2015-01-28 Lukáš Vokřínek

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…

Category Theory · Mathematics 2025-03-03 Isaac Bird , Jordan Williamson

Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the…

Quantum Algebra · Mathematics 2025-10-27 Adrien Brochier , Lukas Woike

We define a functor which gives the "global rank of a quiver representation" and prove that it has nice properties which make it a generalization of the rank of a linear map. We demonstrate how to construct other "rank functors" for a…

Representation Theory · Mathematics 2009-03-10 Ryan Kinser

Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this…

Algebraic Topology · Mathematics 2025-11-05 Lauren Bandklayder , Julia E. Bergner , Rhiannon Griffiths , Brenda Johnson , Rekha Santhanam

Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion…

Category Theory · Mathematics 2018-11-29 Adrián Gordillo-Merino , José Navarro , Pedro Sancho

We consider all Bott-Samelson varieties ${\rm BS}(s)$ for a fixed connected semisimple complex algebraic group with maximal torus $T$ as the class of objects of some category. The class of morphisms of this category is an extension of the…

Representation Theory · Mathematics 2017-08-14 Vladimir Shchigolev

In this article we extend evaluations of the Kauffman bracket on regular isotopy classes of knots and links to a variety of functors defined on the category of framed tangles. We show that many such functors exist, and that they correspond…

Geometric Topology · Mathematics 2007-05-23 John Armstrong

We construct recursion categories from categories of coalgebras. Let $F$ be a nontrivial endofunctor on the category of sets that weakly preserves pullbacks and such that the category $\textbf{Set}_F$ of $F$-coalgebras is complete. The…

Category Theory · Mathematics 2007-05-23 Florian Lengyel

Functor lifting along a fibration is used for several different purposes in computer science. In the theory of coalgebras, it is used to define coinductive predicates, such as simulation preorder and bisimilarity. Codensity lifting is a…

Logic in Computer Science · Computer Science 2021-02-09 Yuichi Komorida

We study a number of categorical quasi-uniform structures induced by functors. We depart from a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, then define the continuity of a $\mathcal{C}$-morphism…

Category Theory · Mathematics 2023-02-07 Minani Iragi , David Holgate

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., $t$-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases…

Category Theory · Mathematics 2009-10-15 Noriyuki Abe , Hiroyuki Nakaoka

We propose a new approach to study the relation between the module categories of a tilted algebra $C$ and the corresponding cluster-tilted algebra $B=C\ltimes E$. This new approach consists of using the induction functor $-\otimes_C B$ as…

Representation Theory · Mathematics 2016-04-26 Ralf Schiffler , Khrystyna Serhiyenko

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

Representation Theory · Mathematics 2025-04-30 Alex Martsinkovsky

In this paper we consider a construction in an arbitrary triangulated category T which resembles the notion of a Moore spectrum in algebraic topology. Namely, given a compact object C of T satisfying some finite tilting assumptions, we…

Category Theory · Mathematics 2010-06-03 David Pauksztello