Given a concrete category (C,U) and a cardinal number N, let UN be the functor C → Set determined by UN(c) = (U(c))N.
The class of all N-ary predicates and N-ary operations of a concrete category (C,U), with N ranging over the class of all cardinal numbers, forms a large signature.