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

I feel as if the sentence was essentially repeated twice

Browse Source
This commit is contained in:
FFFluoride 2024-03-06 18:42:22 +00:00
parent 4b472cca84
commit 0a514b0bb8
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

@ -101,7 +101,7 @@ Here is a function $f$, which converts each ball from the set $R$ to the ball wi
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.
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). Below is one such function.
![Function from a bigger set to a smaller one](../01_set/function_big_small.svg)