bifunctor as an induced concept