English
Related papers

Related papers: Localization theory for triangulated categories

200 papers

Triangles are everywhere in the virtual world. The surface of nearly every graphical object is saved as a triangular mesh on a computer. Light effects and movements of virtual objects are computed on the basis of triangulations. Besides…

History and Overview · Mathematics 2023-07-27 Dimitris Vartziotis , Doris Bohnet

Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this work, we consider systems that evolve over time. We study how to…

Formal Languages and Automata Theory · Computer Science 2023-05-17 Sander Thuijsman , Kai Cai , Michel Reniers

Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip…

Logic in Computer Science · Computer Science 2021-08-05 Carmen Constantin , Nuiok Dicaire , Chris Heunen

We study, in an abstract axiomatic setting, the notion of sectional category of a morphism. From this, we unify and generalize known results about this invariant in different settings as well as we deduce new applications.

Category Theory · Mathematics 2012-02-23 F. Diaz , J. Calcines , P. Garcia , A. Murillo , J. Remedios

We define mutation pair in a pseudo-triangulated category. We prove that under certain conditions, for a mutation pair in a pseudo-triangulated category, the corresponding quotient category carries a natural triangulated structure. This…

Category Theory · Mathematics 2014-01-03 Zengqiang Lin , Minxiong Wang

We propose a new framework for the study of homological properties for (compactly generated) triangulated categories such as regularity, finiteness of global or finitistic dimension, gorensteinness or injective generation and the relation…

Representation Theory · Mathematics 2025-12-23 Panagiotis Kostas , Chrysostomos Psaroudakis , Jorge Vitória

We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how…

Algebraic Geometry · Mathematics 2016-12-05 Steven Dale Cutkosky

We show how the $\tau$-cluster morphism category may be defined in terms of the wall-and-chamber structure of an algebra. This geometric perspective leads to a simplified proof that the category is well-defined.

Representation Theory · Mathematics 2023-04-20 Sibylle Schroll , Aran Tattar , Hipolito Treffinger , Nicholas J. Williams

Local cohomology functors are constructed for the category of cohomological functors on an essentially small triangulated category T equipped with an action of a commutative noetherian ring. This is used to establish a local-global…

Category Theory · Mathematics 2019-02-20 Dave Benson , Srikanth B. Iyengar , Henning Krause

Visual localization algorithms, i.e., methods that estimate the camera pose of a query image in a known scene, are core components of many applications, including self-driving cars and augmented / mixed reality systems. State-of-the-art…

Computer Vision and Pattern Recognition · Computer Science 2025-04-25 Vojtech Panek , Qunjie Zhou , Yaqing Ding , Sérgio Agostinho , Zuzana Kukelova , Torsten Sattler , Laura Leal-Taixé

Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…

Category Theory · Mathematics 2022-05-12 Tomáš Jakl , Dan Marsden , Nihil Shah

We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…

Group Theory · Mathematics 2025-11-20 Peter A. Brooksbank , Heiko Dietrich , Joshua Maglione , E. A. O'Brien , James B. Wilson

We define a concept which we call multiplicity. First, multiplicity of a morphism is defined. Then the multiplicity of an object over another object is defined to be the minimum of the multiplicities of all morphisms from one to another.…

Category Theory · Mathematics 2015-03-17 Kouki Taniyama

We provide an axiomatic approach for studying support varieties of objects in a triangulated category via the action of a tensor triangulated category, where the tensor product is not necessarily symmetric. This is illustrated by examples,…

K-Theory and Homology · Mathematics 2019-05-23 Aslak Bakke Buan , Henning Krause , Nicole Snashall , Oeyvind Solberg

We report on the implementation of an algorithm for computing the set of all regular triangulations of finitely many points in Euclidean space. This algorithm, which we call down-flip reverse search, can be restricted, e.g., to computing…

Combinatorics · Mathematics 2018-10-30 Charles Jordan , Michael Joswig , Lars Kastner

In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our…

Category Theory · Mathematics 2013-05-21 Ilan Barnea , Tomer M. Schlank

Homotopical localizations with respect to a set of maps are known to exist in cofibrantly generated model categories (satisfying additional assumptions). In this paper we expand the existing framework, so that it will apply to not…

Algebraic Topology · Mathematics 2007-05-23 Boris Chorny

Clustering is an unsupervised technique of Data Mining. It means grouping similar objects together and separating the dissimilar ones. Each object in the data set is assigned a class label in the clustering process using a distance measure.…

Information Retrieval · Computer Science 2011-10-13 Parul Agarwal , M. Afshar Alam , Ranjit Biswas

Locality is a central notion in modern physics, but different disciplines understand it in different ways. Quantum field theory focuses on relativistic locality, based on spacetime regions, while quantum information theory focuses circuit…

Quantum Physics · Physics 2026-03-25 Andrea Di Biagio , Richard Howl , Časlav Brukner , Carlo Rovelli , Marios Christodoulou

We propose to identify directions invariant to a given classifier so that these directions can be controlled in tasks such as style transfer. While orthogonal decomposition is directly identifiable when the given classifier is linear, we…

Machine Learning · Computer Science 2022-01-28 Yilun Xu , Hao He , Tianxiao Shen , Tommi Jaakkola