Axiomatic Method and Category Theory - van Rodin, Andrei (Springer International Publishing, 2014)