18C10 - Category theory; homological algebra :: Categories and theories :: Theories , structure, and semantics