## Return to Answer

3 oops, this is a presentation of monoids, not groups

Many standard examples of algebraic "forgetful" functors $U : C \to \mathrm{Set}$ have the following form:

• $C$ is a presentable category, i.e., there is a small category $I$ and a collection $S$ of cones of $I$ such that $C$ is equivalent to the full subcategory of functors $I \to \mathrm{Set}$ consisting of those functors which send the cones of $S$ to limit diagrams in $\mathrm{Set}$;
• $U$ is evaluation at an object $u \in I$.

For example, if $C$ is the category of groupsmonoids, take $I = \Delta^{\mathrm{op}}$ so that functors $I \to \mathrm{Set}$ are simplicial sets and choose $S$ so that the objects of $C$ are those simplicial sets $X$ such that $X_0 = \ast$ and $X_{i+j} \to X_{i} \times X_{j}$ is an isomorphism (where this map is induced by the inclusions of the first $i+1$ and last $j+1$ elements of an ordered $i+j+1$ element set). The object $u$ is the two-element set $[1]$. (One actually needs only the full subcategory of $\Delta^\mathrm{op}$ on the objects $[0]$, $[1]$, $[2]$, $[3]$, and the cones involving these objects; expanding this gives a possibly more familiar presentation of the notion of group.monoid.)

In these cases (which include models of any essentially algebraic theory) the existence of a left adjoint is guaranteed by the theory of presentable categories. Indeed, the inclusion of $C$ into $\mathrm{Set}^I$ has a left adjoint which we compose with the constant diagram functor $\mathrm{Set} \to \mathrm{Set}^I$ to obtain a left adjoint to $U$. See Adamek and Rosicky, Locally presentable and accessible categories, for an excellent introduction to the subject.

2 added 225 characters in body; added 12 characters in body

Many standard examples of algebraic "forgetful" functors $U : C \to \mathrm{Set}$ have the following form:

• $C$ is a presentable category, i.e., there is a small category $I$ and a collection $S$ of cones of $I$ such that $C$ is equivalent to the full subcategory of functors $I \to \mathrm{Set}$ consisting of those functors which send the cones of $S$ to limit diagrams in $\mathrm{Set}$;
• $U$ is evaluation at an object $u \in I$.

For example, if $C$ is the category of groups, take $I = \Delta^{\mathrm{op}}$ so that functors $I \to \mathrm{Set}$ are simplicial sets and choose $S$ so that the objects of $C$ are those simplicial sets $X$ such that $X_0 = \ast$ and $X_{i+j} \to X_{i} \times X_{j}$ is an isomorphism (where this map is induced by the inclusions of the first $i+1$ and last $j+1$ elements of an ordered $i+j+1$ element set). The object $u$ is the two-element set $[1]$. (One actually needs only the full subcategory of $\Delta^\mathrm{op}$ on the objects $[0]$, $[1]$, $[2]$, $[3]$, and the cones involving these objects; expanding this gives a possibly more familiar presentation of the notion of group.)

In these cases (which include models of any essentially algebraic theory) the existence of a left adjoint is guaranteed by the theory of presentable categories. Indeed, the inclusion of $C$ into $\mathrm{Set}^I$ has a left adjoint which we compose with the constant diagram functor $\mathrm{Set} \to \mathrm{Set}^I$ to obtain a left adjoint to $U$. See Adamek and Rosicky, Locally presentable and accessible categories, for an excellent introduction to the subject.

1

Many standard examples of algebraic "forgetful" functors $U : C \to \mathrm{Set}$ have the following form:

• $C$ is a presentable category, i.e., there is a small category $I$ and a collection $S$ of cones of $I$ such that $C$ is equivalent to the full subcategory of functors $I \to \mathrm{Set}$ consisting of those functors which send the cones of $S$ to limit diagrams in $\mathrm{Set}$;
• $U$ is evaluation at an object $u \in I$.

For example, if $C$ is the category of groups, take $I = \Delta^{\mathrm{op}}$ so that functors $I \to \mathrm{Set}$ are simplicial sets and choose $S$ so that the objects of $C$ are those simplicial sets $X$ such that $X_0 = \ast$ and $X_{i+j} \to X_{i} \times X_{j}$ is an isomorphism (where this map is induced by the inclusions of the first $i+1$ and last $j+1$ elements of an ordered $i+j+1$ element set). The object $u$ is the two-element set $[1]$.

In these cases (which include models of any essentially algebraic theory) the existence of a left adjoint is guaranteed by the theory of presentable categories. Indeed, the inclusion of $C$ into $\mathrm{Set}^I$ has a left adjoint which we compose with the constant diagram functor $\mathrm{Set} \to \mathrm{Set}^I$ to obtain a left adjoint to $U$. See Adamek and Rosicky, Locally presentable and accessible categories, for an excellent introduction to the subject.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 94, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9201905131340027, "perplexity_flag": "head"}