Search Results

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 …

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 $\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 …

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 …

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

$\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 …

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 …

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 …

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 …

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 …