abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-07-14 18:50:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #59 from 414owen/os/few-typo-corrections

Browse Source 
fix: Add missing 'is' and 'a' to product/pair explanation
This commit is contained in:
abuseofnotation 2024-04-25 14:42:22 +03:00 committed by GitHub
commit 08e2272896
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/02_category.md
View File

@ -75,7 +75,7 @@ In other words, products are extremely important concept, that is vital if you w
Defining products in terms of sets
---
A product, as we said, a set of *ordered* pairs (formally speaking $A \times B ≠ B \times A$). So, to define a product we must define the concept of an ordered pair. So how can we do that? Note that an ordered pair of elements is not just set containing the two elements --- that would just be a *pair*, but not an *ordered pair*).
A product is, as we said, a set of *ordered* pairs (formally speaking $A \times B ≠ B \times A$). So, to define a product we must define the concept of an ordered pair. So how can we do that? Note that an ordered pair of elements is not just a set containing the two elements --- that would just be a *pair*, but not an *ordered pair*).
Rather, an ordered pair is a structure that contains two objects as well as information about which of those objects is the first and which one is second (and in programming, we have the ability to assign names to each member of an object, which accomplishes the same purpose as ordering does for pairs.)