paperTowards foundations of categorical cybernetics