Related papers: Coherent Bicartesian and Sesquicartesian Categorie…
Let X be e quasi-compact and semi-separated scheme. If every at quasi- coherent sheaf has finite cotorsion dimension, we prove that X is n-perfect for some n > 0. If X is coherent and n-perfect(not necessarily of finite krull dimension), we…
By the Telescope Conjecture for Module Categories, we mean the following claim: "Let R be any ring and (A, B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A, B) is of finite type." We prove a…
A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform…
We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups…
This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…
Cartesian difference categories are a recent generalisation of Cartesian differential categories which introduce a notion of "infinitesimal" arrows satisfying an analogue of the Kock-Lawvere axiom, with the axioms of a Cartesian…
The definition of accessible coherence is proposed. Through local measurement on the other subsystem and one way classical communication, a subsystem can access more coherence than the coherence of its density matrix. Based on the local…
Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a…
We study properties of a category after quotienting out a suitable chosen group of isomorphisms on each object. Coproducts in the original category are described in its quotient by our new weaker notion of a 'phased coproduct'. We examine…
This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification. As causality is captured by a partial order on the set of operations issued by the processes on shared objects…
We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type $\text{FP}_n$ and studying their closure properties with respect to short exact sequences. This allows us to propose a notion of…
We propose a semantics for permutation equivalence in higher-order rewriting. This semantics takes place in cartesian closed 2-categories, and is proved sound and complete.
In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…
We introduce a rigorous framework for the quantification of coherence and identify intuitive and easily computable measures of coherence. We achieve this by adopting the viewpoint of coherence as a physical resource. By determining defining…
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…
In an abelian category $\mathscr{A}$ with small ${\rm Ext}$ groups, we show that there exists a one-to-one correspondence between any two of the following: balanced pairs, subfunctors $\mathcal{F}$ of ${\rm Ext}^{1}_{\mathscr{A}}(-,-)$ such…
The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical…
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent…
Given a category with a bifunctor and natural isomorphisms for associativity, commutativity and left and right identity we do not assume that extra constraining diagrams hold. We introduce groupoids of coupling trees to describe a version…
Certain results involving "higher structures" are not currently accessible to computer formalization because the prerequisite $\infty$-category theory has not been formalized. To support future work on formalizing $\infty$-category theory…