Matrix profunctor

Matrix transformation

Relation of dependent categories.