Rodin, 2012. Axiomatic Method and Category Theory.