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

remove "theory" in "bicartesian closed category theory" (#249)

Browse Source
This commit is contained in:
Rafael Fourquet 2020-09-04 19:32:25 +02:00 committed by GitHub
parent b35d1a102e
commit 7604f401ff
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.9/function-types.tex
View File

@ -401,7 +401,7 @@ The interpretation of function types as exponentials fits very well into
the scheme of algebraic data types. It turns out that all the basic
identities from high-school algebra relating numbers zero and one, sums,
products, and exponentials hold pretty much unchanged in any bicartesian
closed category theory for, respectively, initial and final objects,
closed category for, respectively, initial and final objects,
coproducts, products, and exponentials. We don't have the tools yet to
prove them (such as adjunctions or the Yoneda lemma), but I'll list them
here nevertheless as a source of valuable intuitions.