Search Results

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 …

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

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 …

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

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 …

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