Search Results

Let $\kappa$ be a regular cardinal. A category $\mathscr C$ is locally $\kappa$-presentable iff it is the free completion of a small $\kappa$-cocomplete category under $\kappa$-filtered colimits. Is t …

There is a duality between locally strongly finitely presentable (LSFP) categories and (Cauchy complete) cartesian categories, i.e. multisorted algebraic theories [1]. The internal logic of cartesian …

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 …

This situation is studied in detail in Pavlovic–Hughes's The nucleus of an adjunction and the Street monad on monads and applied to study the Dedekind–MacNeille completion in Tight limits and completi …

$\newcommand\Pr{\mathit{Pr}}\newcommand\Pres{\mathit{Pres}}$Not an answer, but too long for a comment. Gabriel–Ulmer duality lends some intuition here. For simplicity I consider the finitely presentab …

It is well known (e.g. Palmgren–Vickers's Partial Horn logic and cartesian categories) that many-sorted essentially algebraic theories (equivalently partial Horn theories / quasi-equational theories / …

Let $\mathbb D$ be a sound limit doctrine. When $\mathbb D$ is the doctrine of $\lambda$-small limits, then for any $\mathbb D$-presentable category $\mathscr C$ and $X \in \mathscr C$, the coslice $X …

Let $\mathbf C$ and $\mathbf D$ be small categories. $\mathrm{Ind}(\mathbf C)$ is an accessible category (by definition), and is locally finitely presentable (i.e. cocomplete, or equivalently complete …

I'm going to give a partial answer to my question, which addresses a misconception I had and illustrates why many of the existing generalisations of theory–monad correspondence are not sufficient to p …

The following correspondence between algebraic theories and monads on $\mathbf{Set}$ is well-known (see, for example, Algebraic Theories: A Categorical Introduction to General Algebra). The catego …