18A10 - Category theory; homological algebra :: General theory of categories and functors :: Graphs, diagram schemes, precategories