collaborators

1 paper

math.CT2025

On enriched terms and 2-categorical universal algebra

Giacomo Tendas

We introduce a new notion of recursively generated enriched term which generalizes the one studied in joint work with Rosický. These new terms come together with a notion of term-i…