18B20 - Category theory; homological algebra :: Special categories :: Categories of machines, automata, operative categories