(untitled)

What’s even more amazing, is that we can define all of set-theory, based just on the concept of functions, as discovered by the category theory pioneer Francis William Lawvere. -- https:// abuseofnotation.github.io/cate gory-theory-illustrated/02_category/index.html