I'm in the middle of writing https://arbital.com/p/universal_property_outline/ which is precisely an Intro to the Universal Property - comments, feedback and assistance welcome, if you care to help :)