Related papers: Higher Theories and Monads

Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism $p$ exists and is preserved by a suitable morphism, the factorization given by the…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vop{\v{e}}nka's Principle, we prove that a cocomplete category is locally presentable iff…

We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring…

We prove that if $\mathcal{A}$ is a locally $\lambda$-presentable category and $T : \mathcal{A} \to \mathcal{A}$ is a $\lambda$-accessible functor then $T/\mathcal{A}$ is locally $\lambda$-presentable.

In this paper we unify previous developments on higher operads and multitensors into a single framework in which the interplay between multitensors on a category V, and monads on the category of graphs enriched in V, is taken as…

We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in…

We prove that for each locally $\alpha$-presentable category $\mathcal K$ there exists a regular cardinal $\gamma$ such that any $\alpha$-accessible functor out of $\mathcal K$ (into another locally $\alpha$-presentable category) is…

This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…

We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads…

Using full images of accessible functors, we prove some results about combinatorial and accessible model categories. In particular, we give an example of a weak factorization system on a locally presentable category which is not accessible.

Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ and a left adjoint symmetric monoidal fiber functor to $\operatorname{Mod}_A^{\otimes}$ for some $\mathbb{E}_{\infty}$-ring $A$, one can construct a derived group scheme $G$…

As shown by S. Eilenberg and J.C. Moore (1965), for a monad $F$ with right adjoint comonad $G$ on any catgeory $\mathbb{A}$, the category of unital $F$-modules $\mathbb{A}_F$ is isomorphic to the category of counital $G$-comodules…

In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…

A representation of finite-dimensional probabilistic models in terms of formally real Jordan algebras is obtained, in a strikingly easy way, from simple assumptions. This provides a framework in which real, complex and quaternionic quantum…

By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully coherent algebraic structures. In…

In this paper we characterize those accessible $\mathcal V$-categories that have limits of a specified class. We do this by introducing the notion of companion $\mathfrak C$ for a class of weights $\Psi$, as a collection of special types of…

In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an $\infty$-category - for…

We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of…

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…