We should use the main result to construct some initial objects, e.g., the initial object of the signature LC+beta+eta. This will show if our definitions are chosen well.
We should use the main result to construct some initial objects, e.g., the initial object of the signature LC+beta+eta.
This will show if our definitions are chosen well.