18C50 - Category theory; homological algebra :: Categories and theories :: Categorical semantics of formal languages