When I see things that look like categorical universal property I believe that it can be expressed in category theory because of my belief that category theory can be a universal language