Seven dogmas of category theory

Joseph Goguen gave seven dogmas in his paper A Categorical Manifesto. To each species of mathematical structure, there corresponds a category whose objects have that structure, and whose morphisms preserve it. To any natural construction on structures of one species,…