Add to ORKG(Joint work with Alan S. Cigoli and James R. A. Gray) In a recent article, we call a regular category algebraically coherent when the change-of-base functors in its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. The present talk is an introduction to the concept of algebraic coherence, focusing on examples and basic properties. In particular, we will discuss equivalent conditions in the context of semi-abelian categories, as well as some consequences: amongst others, strong protomodularity, and normality of Higgins commutators of normal subobjects
Introduction Let B denote the category of braids and M any braided monoidal category. Let Br(B; M) ...
AbstractWe develop Auslander's theory of coherent functors in the case of functors on modules of fin...
This paper studies a connection between intuitionistic type theory and coherence problems in the sen...
In a recent article, we call a regular category algebraically coherent when the change-of-base funct...
We call a finitely complete category algebraically coherent if the change-of-base functors of its fi...
ABSTRACT. Coherence phenomena appear in two different situations. In the context of category theory ...
Abstract. In this paper, we introduce a cofibrant simplicial category that we call the free homotopy...
Krause H. Coherent functors in stable homotopy theory. Fundamenta Mathematicae. 2002;173(1):33-56.Co...
AbstractThis is the first of a series of papers on coherence completions of categories. Here we show...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
One may define a structure on a category to be a two-dimensional system of generators and relations....
Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a ...
Krause H. Coherent functors and covariantly finite subcategories. Algebras and Representation Theory...
The aim of this note is to make the reader familiar with the notion of algebraic category. The appro...
An algebraically exact category is one that admits all of the limits and colimits which every variet...
Introduction Let B denote the category of braids and M any braided monoidal category. Let Br(B; M) ...
AbstractWe develop Auslander's theory of coherent functors in the case of functors on modules of fin...
This paper studies a connection between intuitionistic type theory and coherence problems in the sen...
In a recent article, we call a regular category algebraically coherent when the change-of-base funct...
We call a finitely complete category algebraically coherent if the change-of-base functors of its fi...
ABSTRACT. Coherence phenomena appear in two different situations. In the context of category theory ...
Abstract. In this paper, we introduce a cofibrant simplicial category that we call the free homotopy...
Krause H. Coherent functors in stable homotopy theory. Fundamenta Mathematicae. 2002;173(1):33-56.Co...
AbstractThis is the first of a series of papers on coherence completions of categories. Here we show...
AbstractWe show that any associativity isomorphism in a category with multiplication is coherent in ...
One may define a structure on a category to be a two-dimensional system of generators and relations....
Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a ...
Krause H. Coherent functors and covariantly finite subcategories. Algebras and Representation Theory...
The aim of this note is to make the reader familiar with the notion of algebraic category. The appro...
An algebraically exact category is one that admits all of the limits and colimits which every variet...
Introduction Let B denote the category of braids and M any braided monoidal category. Let Br(B; M) ...
AbstractWe develop Auslander's theory of coherent functors in the case of functors on modules of fin...
This paper studies a connection between intuitionistic type theory and coherence problems in the sen...