Related papers: Cofinality via Weighted Colimits

A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived…

We define the categories of weight-finite modules over the type $\mathfrak a_1$ quantum affine algebra $\dot{\mathrm{U}}_q(\mathfrak a_1)$ and over the type $\mathfrak a_1$ double quantum affine algebra $\ddot{\mathrm{U}}_q(\mathfrak a_1)$…

The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented…

We compare the colimit and 2-colimit of strict 2-functors in the 2-category of groupoids, over a certain type of posets. These posets are of special importance, as they correspond to coverings of a topological space. The main result of this…

For a differential graded k-quiver Q we define the free A-infinity-category FQ generated by Q. The main result is that for an arbitrary A-infinity-category A the restriction A-infinity-functor A_\infty(FQ,A) -> A_1(Q,A) is an equivalence,…

For a small simplicial category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the homotopy-coherent nerve of A provides a left Quillen equivalence between…

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…

In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis.…

We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as…

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…

The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…

A model structure on the category of (small) bigroupoids and pseudofunctors is constructed. In this model structure, every object is cofibrant. In order to keep certain calculations of manageable size, a coherence theorem for bigroupoids…

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…

We prove a generalization of Quillen's Theorem B to strict $\infty$-categories. More generally, we show that under similar hypothesis as for Theorem B, the comma construction for strict $\infty$-categories, that we introduced with…

We show that Quillen's resolution theorem for K-theory also applies to exact $\infty$-categories. We introduce heart structures on a stable $\infty$-category, generalizing weight structures, and using resolution ideas, we show that the…

We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and…

We reformulate the statement of the Feit-Thompson theorem in terms of diagrams in the category of finite groups, namely iterations of the Quillen lifting property with respect to particular morphisms.

Sifted colimits (those that commute with finite products in sets) play a major role in categorical universal algebra. For example, varieties of (many-sorted) algebras are precisely the free cocompletions under sifted colimits of…

We specialise a recently introduced notion of generalised dinaturality for functors $T : (\mathcal{C}^\text{op})^p \times \mathcal{C}^q \to \mathcal{D}$ to the case where the domain (resp., codomain) is constant, obtaining notions of ends…

We introduce new formulations of aperiodicity and cofinality for finitely aligned higher-rank graphs \Lambda, and prove that C*(\Lambda) is simple if and only if \Lambda is aperiodic and cofinal. The main advantage of our versions of…