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

Typo fix in 04_order.md

Browse Source
This commit is contained in:
Grigoriy Beziuk 2024-03-03 15:44:10 +03:00 committed by GitHub
parent fd2d8d861d
commit f3672e0869
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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/04_order.md
View File

@ -10,7 +10,7 @@ Given a set of objects, there can be numerous criteria, based on which to order
However, currently we are not interested in the *criteria* that we can use to order objects, but in the *nature of the relationships* that define order. Of which there can be several types as well.
Mathematically, the order as a construct is represented (much like a monoid) by two two components.
Mathematically, the order as a construct is represented (much like a monoid) by two components.
One is a *set of things* (e.g. colorful balls) which we sometimes call the order's *underlying set*.