Generic morphisms, parametric representations and weakly cartesian monads

Theory and Applications of Categories 13:191-234, 2004.

Two notions, generic morphisms and parametric representations, useful for the analysis of endofunctors arising in enumerative combinatorics, higher dimensional category theory, and logic, are defined and examined. Applications to the Batanin approach to higher category theory, Joyal species and operads are provided.