← Categorifying Computations into Components via Arrows as ...