Was ist das Analogon der Kategorie in der Programmierung
Ich fand heraus, dass es einen Isomorphismus zwischen Logik und Programmierung gibt, genannt Curry-Howard Korrespondenz, gibt es eine solche Entsprechung für die Kategorietheorie, die zum Verständnis von Dingen wie Functors oder Monads beiträgt?