Nice!

Note that this page has no category theory yet since it explains sets, so if you already know sets, set product, etc and want to learn about category theory, my advice is to go directly to the next chapter, more specifically to this section:

https://abuseofnotation.github.io/category-theory-illustrate...

which uses set theory terms to define the category theory way of defining products (the corresponding "universal property").