[001F] Definition 1·a.

A meta-category $\mathfrak{C}$ is defined by explaining what an object of $\mathfrak{E}$ is, and, given two objects $x,y\in \mathfrak{E}$, what a morphism from $x$ to $y$ is, together with the following operations:

1. for each object $x\in \mathfrak{E}$, an identity map $\Idn{x} : x \to x$,
2. for any two maps $f:x\to y$ and $g:y\to z$, a composite map $f;g : x \to z$,
3. such that the following equations hold: $\Idn{x};h = h\qquad h;\Idn{y} = h\qquad f;(g;h) = (f;g);{h}$
{"ft_lang_label":"__label__en","ft_lang_prob":0.69589686,"math_prob":1.0000057,"size":477,"snap":"2022-27-2022-33","text_gpt3_token_len":180,"char_repetition_ratio":0.1205074,"word_repetition_ratio":0.0,"special_character_ratio":0.3542977,"punctuation_ratio":0.18644068,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000062,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-07-01T20:44:36Z\",\"WARC-Record-ID\":\"<urn:uuid:52ab6425-3d9b-4ccd-82b7-c2da0175bf29>\",\"Content-Length\":\"10586\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:a7f2d1a2-2a3d-41af-8412-34cf8720cc37>\",\"WARC-Concurrent-To\":\"<urn:uuid:4898b9d8-eb06-405b-b872-35f30a00fcd2>\",\"WARC-IP-Address\":\"185.199.108.153\",\"WARC-Target-URI\":\"https://www.jonmsterling.com/math/nodes/001F.html\",\"WARC-Payload-Digest\":\"sha1:AZBTJJSH4337OXASARNDKTCBNIC7PHSB\",\"WARC-Block-Digest\":\"sha1:KRN23DKHHPPOFEPGZJ2KZO6CYLLEYIKW\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656103945490.54_warc_CC-MAIN-20220701185955-20220701215955-00588.warc.gz\"}"}