boris-marinov/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/boris-marinov/category-theory-illustrated.git synced 2024-09-11 10:36:35 +03:00
Code Issues Projects Releases Wiki Activity

Typo in Isomorphism reverse function g**:** R→G

Browse Source 
There was a missing colon
This commit is contained in:
Felix Engelmann 2021-09-27 10:51:26 +02:00 committed by GitHub
parent 3745544549
commit 4e39d8b326
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
_chapters/01_set.md
View File

@ -305,7 +305,7 @@ Notice that the function is invertible, that is if you flip its arrows you get a
Invertible functions are called *isomorphisms*. When there is an invertible function between two sets we can say that the sets are *isomorphic*. For example, the temperature measured in Celsius is isomorphic to the temperature, measured in Fahrenheit.
More formally, two sets **R** and **G** are isomorphic, or **R ≅ G** if there exist functions **f: G → R** and its reverse **g R → G**, such that **f ∘ g = id R** and **g ∘ f = id G** (notice how the identity function comes in handy).
More formally, two sets **R** and **G** are isomorphic, or **R ≅ G** if there exist functions **f: G → R** and its reverse **g: R → G**, such that **f ∘ g = id R** and **g ∘ f = id G** (notice how the identity function comes in handy).
Isomorphism and equality
---