abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-08-16 12:00:22 +03:00
Code Issues Packages Projects Releases Wiki Activity

Consistent plurals and changed things up as I found the (I think) nested hyphens quite jarring.

Browse Source
This commit is contained in:
FFFluoride 2024-03-06 18:38:29 +00:00
parent 74b6e6ba13
commit 4b472cca84
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

@ -99,7 +99,7 @@ Here is a function $f$, which converts each ball from the set $R$ to the ball wi
![Opposite colors](../01_set/function_one_one.svg)
This is probably one of the simplest type of functions that exist — one which encodes a *one-to-one relationship* between the sets — *one* element from the source is connected to exactly *one* element from the target (and the other way around).
This is probably one of the simplest type of function that exists — it encodes a *one-to-one relationship* between the sets. That is to say, *one* element from the source is connected to exactly *one* element from the target (and the other way around).
But functions can also express relationships of the type *many-to-one*, where *many* elements from the source might be connected to *one* element from the target (but not the other way around). For example, a function can express a relationship in which several elements from the source set relate to the same element of the target set.