English
Related papers

Related papers: Functorial Factorizations in Pro Categories

200 papers

This article generalizes the correspondence between matrix factorizations and maximal Cohen-Macaulay modules over hypersurface rings due to Eisenbud and Yoshino. We consider factorizations with several factors in a purely categorical…

Category Theory · Mathematics 2026-05-12 Jonas Frank , Mathias Schulze

The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…

Category Theory · Mathematics 2009-05-08 Jacob Lurie

We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…

Category Theory · Mathematics 2007-05-23 Michel Hebert

In this paper, we consider the existence of a factorization of a monic, bounded motion polynomial. We prove existence of factorizations, possibly after multiplication with a real polynomial and provide algorithms for computing polynomial…

Symbolic Computation · Computer Science 2015-02-27 Zijia Li , Josef Schicho , Hans-Peter Schröcker

We solve a problem posed by Cardinali and Sastry [2] about factorization of $2$-covers of finite classical generalized quadrangles. To that end, we develop a general theory of cover factorization for generalized quadrangles, and in…

Combinatorics · Mathematics 2016-07-21 Joseph A. Thas , Koen Thas

Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…

Logic in Computer Science · Computer Science 2021-12-30 Eric Finster , Samuel Mimram , Maxime Lucas , Thomas Seiller

In this note, we discuss several aspects of the functoriality of universal abelian factorizations associated to representations of quivers into abelian categories. After recalling the general construction of universal abelian…

Category Theory · Mathematics 2024-01-25 Luca Terenzi

A new approach is suggested to characterize algebraically automorphisms of the category of free algebras of a given variety. It gives in many cases an answer to the problem set by the first of authors, if automorphisms of such a category…

Category Theory · Mathematics 2007-05-23 Boris Plotkin , Grigori Zhitomirski

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…

Category Theory · Mathematics 2014-06-23 Olivia Caramello

We introduce extriangulated factorization systems in extriangulated categories and show that there exists a bijection between $s$-torsion pairs and extriangulated factorization systems. We also consider the gluing of $s$-torsion pairs and…

Category Theory · Mathematics 2025-07-08 Yan Xu , Haicheng Zhang , Zhiwei Zhu

Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…

Category Theory · Mathematics 2023-10-30 Raphael Bennett-Tennenhaus , Johanne Haugland , Mads Hustad Sandøy , Amit Shah

We prove that linearizing certain families of polynomial optimization problems leads to new functorial operations in real convex sets. We show that under some conditions these operations can be computed or approximated in ways amenable to…

Optimization and Control · Mathematics 2013-07-25 Mauricio Velasco

We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…

Algebraic Topology · Mathematics 2007-05-23 Boris Chorny

Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a…

Symplectic Geometry · Mathematics 2018-08-28 Paul Biran , Octav Cornea

We consider limits over categories of extensions and show how certain well-known functors on the category of groups turn out as such limits. We also discuss higher (or derived) limits over categories of extensions.

Category Theory · Mathematics 2009-05-21 Roman Mikhailov , Inder Bir S. Passi

We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories. We show that any regular virtual double category admits a…

Category Theory · Mathematics 2015-05-05 Patrick Schultz

In the paper Factorisation of division polynomials (H. Verdure, Proc. japan Academy, Ser A. 80 n. 5), Verdure gives the factorisation patterns of division polynomials of elliptic curves defined over a finite field. However, the result given…

Number Theory · Mathematics 2007-05-23 D. Sadornil

This paper addresses an investigation on a factorization method for difference equations. It is proved that some classes of second order linear difference operators, acting in Hilbert spaces, can be factorized using a pair of mutually…

Mathematical Physics · Physics 2017-09-25 Alina Dobrogowska , Mahouton Norbert Hounkonnou

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

Category Theory · Mathematics 2020-12-03 Chris Heunen , Vaia Patta

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