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

typo (\cat{C} -> \cat{C}^\mathit{op}) (#330)

Browse Source
This commit is contained in:
kkinugasa 2024-03-24 18:48:58 +09:00 committed by GitHub
parent ab180d9b9c
commit 020991c49d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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/2.6/yoneda-embedding.tex
View File

@ -108,7 +108,7 @@ our familiar presheaves (see, for instance,
and Colimits}). The co-Yoneda embedding defines the embedding of a
category $\cat{C}$ in the category of presheaves. Its action on morphisms
is given by:
\[[\cat{C}, \Set](\cat{C}(-, a), \cat{C}(-, b)) \cong \cat{C}(a, b)\]
\[[\cat{C}^\mathit{op}, \Set](\cat{C}(-, a), \cat{C}(-, b)) \cong \cat{C}(a, b)\]
Again, mathematicians know a lot about the category of presheaves, so
being able to embed an arbitrary category in it is a big win.