Objects and morphisms

… more prescriptive. It frames a possible template for any mathematical theory: the theory should have nouns and verbs, i.e., objects, and morphisms, and there should be an explicit notion of composition related to the morphisms; the theory should, in brief, be packaged by a category. There is hardly any species of mathematical …

— When is one thing equal to some other thing?, Barry Mazur

2010.01.20 Wednesday ACHK