Categories within the Foundation of Mathematics - Benjamin Horowitz (2013)