Related papers: Coherence for Pseudo Commutative Monads

If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans,…

We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a…

Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $\Sigma \subset \mathcal{A}$ containing all the objects, a $\sigma$-cone for $F$ (with respect to…

Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation. When they do, we speak of a monoidal differential modality; when they do not, we have merely a monoidal…

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 describe free rigid commutative algebras in $2$-presentably symmetric monoidal $(\infty,2)$-categories as oplax colimits over the $1$-dimensional framed cobordism category. The special case of the $(\infty,2)$-category…

This paper concerns spherical adjunctions of stable $\infty$-categories and their relation to monadic adjunctions. We begin with a proof of the 2/4 property of spherical adjunctions in the setting of stable $\infty$-categories. The proof is…

Let $k$ be a unital commutative ring. In this paper, we study polynomial functors from the category of finitely generated free nilpotent groups to the category of $k$-modules, focusing on comparisons across different nilpotency classes and…

We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all cokernels. We first prove that bihereditary pretorsion theories…

Motivated by duality phenomena for derived global sections on derived local systems on compact oriented manifolds, we introduce the notion of a $d$-duality context between symmetric monoidal enriched categories. In this setting, the right…

In the theory of operads we consider functors of generalized symmetric powers defined by sums of coinvariant modules under actions of symmetric groups. One observes classically that the construction of symmetric functors provides an…

We prove a biadjoint triangle theorem and its strict version, which are $2$-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the $1$-dimensional case, we demonstrate how we can apply our results to get the…

We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…

This article aims to provide a novel formalization of the concept of computational irreducibility in terms of the exactness of functorial correspondence between a category of data structures and elementary computations and a corresponding…

We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…

We prove Steinebrunner's conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of the work is to establish a 1-categorical, strict version of the conjecture, showing that the category of…

We extend Barr's well-known characterization of the final coalgebra of a $Set$-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a $Set$-monad $\mathbf{M}$ for functors arising as liftings.…

We discuss free probability theory and free harmonic analysis from a categorical perspective. In order to do so, we extend first the set of analytic convolutions and operations and then show that the comonadic structure governing free…

We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and…

In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that…