A parameterization process, functorially

The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. Thi...