hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-23 04:15:23 +03:00
Code Issues Projects Releases Wiki Activity

Update Products and Coproducts.tex

Browse Source
This commit is contained in:
Igal Tabachnik 2018-10-25 20:57:51 +03:00 committed by GitHub
parent c48cccef72
commit d00295666e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/content/1.5/Products and Coproducts.tex
View File

@ -127,7 +127,7 @@ the definition of the terminal object to just one type.
You can't help but to notice the symmetry between the way we defined the
initial object and the terminal object. The only difference between the
two was the direction of morphisms. It turns out that for any category C
two was the direction of morphisms. It turns out that for any category $\cat{C}$
we can define the \newterm{opposite category} $\cat{C}^{op}$ just by
reversing all the arrows. The opposite category automatically satisfies
all the requirements of a category, as long as we simultaneously