#category theory #abstract nonsense #abstraction #universal property #generalization #mathematical logic #foundations