Axiomatic method and category theory (2014)