Remark 89.21.5. Hence a representable groupoid in functors on $\mathcal{C}$ is given by objects $U$ and $R$ of $\mathcal{C}$ and morphisms $s, t : U \to R$ and $c : R \to R \amalg _{s, U, t} R$ such that $(\underline{U}, \underline{R}, s, t, c)$ satisfies the condition of Definition 89.21.1. The reason for requiring the existence of the pushout $R \amalg _{s, U, t} R$ is so that the composition morphism $c$ is defined at the level of morphisms in $\mathcal{C}$. This requirement will always be satisfied below when we consider representable groupoids in functors on $\widehat{\mathcal{C}}_\Lambda$, since by Lemma 89.4.3 the category $\widehat{\mathcal{C}}_\Lambda$ admits pushouts.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
{"ft_lang_label":"__label__en","ft_lang_prob":0.7526193,"math_prob":0.99876595,"size":1055,"snap":"2022-40-2023-06","text_gpt3_token_len":293,"char_repetition_ratio":0.10275928,"word_repetition_ratio":0.011904762,"special_character_ratio":0.27393365,"punctuation_ratio":0.125,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9994834,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-01-27T18:08:57Z\",\"WARC-Record-ID\":\"<urn:uuid:fa7de4d6-aaaa-4984-b944-98a20e9db940>\",\"Content-Length\":\"14229\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:87d292c8-1ee0-40f1-a43f-37ab059b0a43>\",\"WARC-Concurrent-To\":\"<urn:uuid:94cde46c-5c49-45eb-bf1c-500df5ee0c29>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/06K7\",\"WARC-Payload-Digest\":\"sha1:FAWMDPFI5ZSGOO4UX4PTG6UP6GDZWLO3\",\"WARC-Block-Digest\":\"sha1:HUYUYXY7OO2G76TR5Z4WVEZNBDCWYIYW\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764495001.99_warc_CC-MAIN-20230127164242-20230127194242-00617.warc.gz\"}"}