User:Prumpf/sandbox2

In mathematics, the category of sets is th