Robuta

https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.MultiSortedMonadConstruction_coind_actegorical.html UniMath.SubstitutionSystems.MultiSortedMonadConstruction_coind_actegorical