¿Cuál es el análogo de la categoría en la programación?
Descubrí que hay un isomorfismo entre lógica y programación, llamadoCorrespondencia de Curry-Howard, entonces, ¿existe alguna equivalencia para la teoría de la Categoría, que ayuda a comprender cosas como Functors o Monads?