Corrections: A is an object of the category A -> B -> C. Types can be seen as a specific kind of category object. Any time you have things (objects) and verb

Corrections: A is an object of the category A -> B -> C. Types can be seen as a specific kind of category object. Any time you have things (objects) and verbs (arrows) which meet associativity, and identity (which is usually the verb of doing nothing) you can do category theory to it.