November 2017
Intermediate to advanced
670 pages
17h 35m
English
Content preview from Learning Functional Programming in Go
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
Start your free trial
Sums and products
What can we see when we compare the diagrams for sums and products?
If we were to flip the arrows, then they would be identical!
This is called a Dual. We say the co of a dual is the thing we started with.
Negation in logic is an example of a dual.
Category theory jokes:
What are the morphisms in the category of cars? AUTO morphisms
A Priest, a Rabbi, and an Automorphism walk into a bar.... "I think we should talk, one-to-one", "We can't... He's onto us."
What does a categorical mathematician call a coconut?