#### Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Options

# Exercise 86 - Chapter 3

edited June 2018

Check that a product $$X \overset{p_X}{\leftarrow} X \times Y \overset{p_Y}{\rightarrow} Y$$ is exactly the same as a terminal object in $$\textbf{Cone}(X, Y)$$.

A terminal object in Cone$$(X,Y)$$ is a pair of morphisms $$X\xleftarrow[]{\pi_1}X\times Y\xrightarrow[]{\pi_2}Y$$ such that for every pair of morphisms $$X\xleftarrow[]{f}C\xrightarrow[]{g}Y$$, there is a unique morphism $$(f,g):C\to X\times Y$$ such that $$\pi_1\circ(f,g)=f$$ and $$\pi_2\circ(f,g)=g$$. This is exactly the same as the definition of the product of $$X$$ and $$Y$$ (cf. Definition 3.81).
Comment Source:A terminal object in **Cone**\$$(X,Y)\$$ is a pair of morphisms \$$X\xleftarrow[]{\pi_1}X\times Y\xrightarrow[]{\pi_2}Y\$$ such that for every pair of morphisms \$$X\xleftarrow[]{f}C\xrightarrow[]{g}Y\$$, there is a unique morphism \$$(f,g):C\to X\times Y\$$ such that \$$\pi_1\circ(f,g)=f\$$ and \$$\pi_2\circ(f,g)=g\$$. This is exactly the same as the definition of the product of \$$X\$$ and \$$Y\$$ (cf. Definition 3.81).
{"ft_lang_label":"__label__en","ft_lang_prob":0.82097083,"math_prob":0.99988306,"size":1940,"snap":"2020-34-2020-40","text_gpt3_token_len":679,"char_repetition_ratio":0.13842975,"word_repetition_ratio":0.800813,"special_character_ratio":0.36030927,"punctuation_ratio":0.11002445,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999788,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-08-08T14:11:34Z\",\"WARC-Record-ID\":\"<urn:uuid:a78f3fff-994c-47b8-bd38-80193477b500>\",\"Content-Length\":\"23155\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:478191fd-b550-4d01-ba3f-9e176104a93c>\",\"WARC-Concurrent-To\":\"<urn:uuid:6ee6bfcf-5c0d-42ee-a971-e93722c3353e>\",\"WARC-IP-Address\":\"75.98.32.15\",\"WARC-Target-URI\":\"https://forum.azimuthproject.org/discussion/2164\",\"WARC-Payload-Digest\":\"sha1:M7RV2CZN4GQFVF47DYOA7JFIIGTA3EM5\",\"WARC-Block-Digest\":\"sha1:DVJLC7GUWZBRUBLYTOG6O3AIV3OGKEYQ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-34/CC-MAIN-2020-34_segments_1596439737883.59_warc_CC-MAIN-20200808135620-20200808165620-00069.warc.gz\"}"}