Towards a Hermeneutic Categorical Mathematics or why Category theory goes beyond Mathematical Structuralism
arXiv:math/0608711
Abstract
Category theory provides an alternative to Hilbert's Formal Axiomatic method and goes beyond Mathematical Structuralism
37 pages, no figures