> be me
> fucking hate working with convoluted constructions for free objects/products/whatever
> "good news anon, those things are all characterized by a universal property, so you don't have to muck around with messy constructions anymore"
> shit that's great!
> "except, uh, there's no way to prove objects satisfying a given universal property actually exist without constructing them"
> feelsbadman.jpg

I thought category theory was supposed to be free of "internalistic" arguments? I though I could just fuck around with morphisms all day and never have to think about the elements of a set again. I was fucking lied to.