chore(algebra/direct_limit): Use bundled morphisms (#4964)

This introduced some ugliness in the form of `(λ i j h, f i j h)`, which is a little unfortunate