相关论文: A model categorical approach to group completion o…

For a cofibrantly generated Quillen model category, we show that the cofibrant replacement functor constructed using the small object argument admits a cotriple structure. If all acyclic cofibrations are monomorphisms, the fibrant…

A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category or a C*-2-category. We prove that, for C*-2-categories $\mcal C$ and $\mcal D$, the C*-2-category $\textbf{Fun}(\mcal C, \mcal D)$ of $ * $-$ 2…

A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system…

We give a generalization of Quillen's $S^{-1}S$ construction for arbitrary $E_n$-monoids as an $E_{n-1}$-monoidal $\infty$-category and show that its realization models the group completion provided that $n \geq 2$. We will also show how…

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…

Q-systems are unitary versions of Frobenius algebra objects which appeared in the theory of subfactors. In recent joint work with R. Hern\'andez Palomares and C. Jones, the authors defined a notion of Q-system completion for C*/W*…

Working in the setting of $\infty$-categories, we develop a general theory of the codensity monad $T_\mathcal{D}$ associated with a full subcategory $\mathcal{D}\subseteq \mathcal{C}$. We show that $T_\mathcal{D}$ has a canonical monad…

We introduce a diagrammatic braided monoidal category, the quantum spin Brauer category, together with a full functor to the category of finite-dimensional, type $1$ modules for $U_q(\mathfrak{so}(N))$ or $U_q(\mathfrak{o}(N))$. This…

In a previous work, we have associated a complete differential graded Lie algebra to any finite simplicial complex in a functorial way. Similarly, we have also a realization functor from the category of complete differential graded Lie…

Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…

Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…

We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the…

Let $\mathcal{M}$ be a small $n$-abelian category. We show that the category of absolutely pure group valued functors over $\mathcal{M}$, denote by $\mathcal{L}_2(\mathcal{M},\mathcal{G})$, is an abelian category and $\mathcal{M}$ is…

We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can…

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.…

Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this…

We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In particular it follows that any presentable model category is…

We prove that the unit of the Quillen pair ${\mathfrak{L}}\colon {\bf sset}\rightleftarrows {\bf cdgl}\colon {\langle\,\cdot\,\rangle}$ given by the model and realization functor is, up to homotopy, the Bousfield-Kan…

We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a…

In this paper we introduce the notion of a categorical Mackey functor. This categorical notion allows us to obtain new Mackey functors by passing to Quillen's $K$-theory of the corresponding abelian categories. In the case of an action by…