From b7e4c46d0c3afeddc5919b6b671f69ced837471c Mon Sep 17 00:00:00 2001 From: Owen Shepherd Date: Sat, 13 Apr 2024 17:20:10 +0200 Subject: [PATCH] fix: Add missing 'is' and 'a' to product/pair explanation --- _chapters/02_category.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_chapters/02_category.md b/_chapters/02_category.md index e6d9169..51f74cb 100644 --- a/_chapters/02_category.md +++ b/_chapters/02_category.md @@ -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.)