Relative universality and universality obtained by adding constants (Q535118)

A category \(\mathcal K\) is alg-universal if the category of graphs can be fully embedded into \(\mathcal K\). A class \(I\) of \(\mathcal K\)-morphisms is an ideal in \(\mathcal K\) if \(f\circ g\in I\) whenever \(f\in I\) or \( g\in I\). A faithful functor \(F:{\mathcal L}@>>>{\mathcal K}\) is an \(I\)-relatively full embedding if \(Ff\notin I\) for every \({\mathcal L}\)-morphism \(f\), and for every \(\mathcal K\)-morphism \(g:Fa@>>>Fb\notin I\) for some \({\mathcal L}\)-objects \( a\) and \(b\) there exists an \({\mathcal L}\)-morphism \(f:a@>>>b\) with \(Ff=g\). A category \(\mathcal K\) is \(I\)-relatively alg-universal if there exists an \(I\)-relatively full embedding from an alg-universal category into \(\mathcal K\). For a concrete category \(\mathcal K\) and a cardinal \(\alpha\), let \(\alpha {\mathcal K}\) be a category whose objects are pairs \((A,\{a_i\}_{i\in\alpha})\) where \(A\) is a \(\mathcal K\)-object and \(a_ i\) is an element of the underlying set of \(A\) for all \(i\in\alpha\), and morphisms from \((A,\{a_i\}_{i\in\alpha})\) into \((B,\{b_i\}_{i\in\alpha})\) are all \( {\mathcal K}\)-morphisms \(f:A@>>>B\) with \(f(a_i)=b_i\) for all \(i\in\alpha\). It is proved that if a concrete category \(\mathcal K\) is \(I\)-relatively alg-universal for some ideal \(I\) of \(\mathcal K\) then there exists a cardinal \(\alpha\) such that \(\alpha {\mathcal K}\) is alg-universal. The opposite implication does not hold. Consequences of this result are discussed.