相关论文: Calculus of Fractions for Quasicategories
The well-known calculus of fractions of Gabriel and Zisman provides a convenient way to formally invert morphisms in a category. This was generalised to bicategories by Pronk. We extend these constructions by presenting a calculus of lax…
We study the interaction between the notions of filteredness, fractions and fibrations in the theory of bicategories, generalizing classical results for categories. We give an explicit formula for filtered pseudo-colimits of categories…
We show that the quasicategory of frames of a cofibration category, introduced by the second-named author, is equivalent to its simplicial localization.
We show that the quotient of a Hom-finite triangulated category C by the kernel of the functor Hom(T, -), where T is a rigid object, is preabelian. We further show that the class of regular morphisms in the quotient admit a calculus of left…
We investigate the connection between left exact $\infty$-functors between finitely complete quasicategories and exact functors between fibration categories, describing a procedure to approximate flat $\infty$-functors of the former type by…
This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof of GZ's Lemma 1.2, as well as the construction using…
In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via…
The theory of categories of fractions as originally developed by Gabriel and Zisman is reviewed in a pedagogical manner giving detailed proofs of all statements. A weakening of the category of fractions axioms used by Higson is discussed…
We describe several equivalent models for the infinity-category of infinity-local systems of chain complexes over a space using the framework of quasi-categories. We prove that the given models are equivalent as infinity-categories by…
We define a convenient $\infty$-operad parametrizing modules over commutative algebras in $\infty$-categories.
We study right quasi-representable differential graded bimodules as quasi-functors between dg-categories. We prove that a quasi-functor has a left adjoint if and only if it is left quasi-representable.
Let $(\mathcal{A},\mathcal{E})$ be an exact category. We establish basic results that allow one to identify sub(bi)functors of $\operatorname{Ext}_{\mathcal{E}}(-,-)$ using additivity of numerical functions and restriction to subcategories.…
In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher…
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…
Let $\mathcal{X}$ be a semibrick in an extriangulated category $\mathscr{C}$. Let $\mathcal{T}$ be the filtration subcategory generated by $\mathcal{X}$. We give a one-to-one correspondence between simple semibricks and length wide…
We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions…
Let A be a commutative noetherian ring. In this paper, we interpret localizing subcategories of the derived category of A by using subsets of Spec A and subcategories of the category of A-modules. We unify theorems of Gabriel, Neeman and…
The paper addresses the study and applications of a broad class of extended-real-valued functions, known as optimal value or marginal functions, which are frequently appeared in variational analysis, parametric optimization, and a variety…
Based on recent developments in the theory of fractional Sobolev spaces, an interesting new class of nonlocal variational problems has emerged in the literature. These problems, which are the focus of this work, involve integral functionals…
We investigate functors between abelian categories having a left adjoint and a right adjoint that are \emph{similar} (these functors are called \emph{quasi-Frobenius functors}). We introduce the notion of a \emph{quasi-Frobenius bimodule}…