Search Results

It is well known that, for a small category $\mathbf A$, the category $\widehat{\mathbf A} = [\mathbf A^\circ, \mathbf{Set}]$ of presheaves on $\mathbf A$ together with the Yoneda embedding $\mathbf A …

The earliest reference I can find to the universal property of the presheaf construction is Proposition 9.1 of André's Categories of Functors and Adjoint Functors (1966). There is an earlier reference …

By a result of Foltz, and Freyd and Street, a category $C$ is essentially small (i.e. equivalent to a small category) if and only if both $C$ and $[C^{\text{op}}, \mathrm{Set}]$ are locally small. I a …

For those coming across this question more recently, there is now an answer to the original question. In fact, the tricategory of pseudoprofunctors has been defined twice, independently, via different …

Let $\Phi$ be a class of categories (e.g. filtered categories), and consider an adjunction $L : \mathbf C \rightleftarrows \mathbf D : R$. A $\Phi$-colimit is a colimit whose diagram is in $\Phi$. We …

A locally small category $\mathscr C$ is called petite if, for every functor $F : \mathscr C \to \mathscr D$ with locally small codomain, and for every object $D \in \mathscr D$, the presheaf $\mathsc …

This question concerns the strictness of (co)completions, at various levels of generality. In Blackwell–Kelly–Power's Two-dimensional monad theory, the authors state For instance, the 2-category $\ma …

A useful result due to Linton is that for a cocomplete category $C$ and monad $T$ on $C$, if the category of algebras $C^T$ admits reflexive coequalisers, then it is cocomplete (see here for a sketch …

A locally small category $A$ is called total if its Yoneda embedding $A \to [A^\circ, \mathbf{Set}]$ has a left adjoint. Such categories are necessarily small-cocomplete (since the presheaf category …

The monadicity theorem characterises when a functor $u : \mathbf B \to \mathbf E$ is the forgetful functor from the category of algebras for some monad on $\mathbf E$ (up to an equivalence over $\math …

Let $\mathscr C$ be a finitely complete category. Let $x, y$ be objects of $\mathscr C$. We can describe the universal property of freely adjoining a morphism $x \to y$ to $\mathscr C$: it comprises a …

Two relevant papers are: Dupont's Interchange of filtered 2-colimits and finite 2-limits. Canevali's 2-filtered bicolimits and finite weighted bilimits commute in Cat. The former proves that finite …

For a category $\mathbf C$, the category of families of $\mathbf C$, denoted $\mathrm{Fam}(\mathbf C)$ is the free coproduct completion of $\mathbf C$. Explicitly, the objects of $\mathbf C$ are given …

It is well known that (small) coproducts commute with connected limits in $\mathbf{Set}$. With which class of limits do finite coproducts commute? Ideally, we should furthermore like to know whether t …

In the one-dimensional setting, $\kappa$-sifted categories are studied in §3 of Adámek–Koubek–Velebil's A duality between infinitary varieties and algebraic theories. However, it is shown there (Theor …