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

fix: Add missing 'is' and 'a' to product/pair explanation

Browse Source
This commit is contained in:
Owen Shepherd 2024-04-13 17:20:10 +02:00
parent 8948e7b97c
commit b7e4c46d0c
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.)