Categorifying computations into components via arrows as profunctors
scientific article; zbMATH DE number 6089939
scientific article