Complex sentence: The origin of these terms is in category theory, Where the types in the type system form a category "C", with arrows representing the subtype relationship.
Split into simpler sentences: The origin of these terms is in category theory. Here we see the types in the type system as forming a category "C", with arrows representing the subtype relationship.