functorially造句

• It is useful to regard the dual group functorially.
• Schemes over " k " can be analytified functorially, much like varieties over the complex numbers can be viewed as complex analytic spaces, and there is an analogous formal GAGA theorem.
• By using a Skolemization of the theory of dimension groups, we can embed " E ( ? ) " functorially into a dimension vector space " F ( ? ) ".
• The representing object " C " above can be shown to depend functorially on " F " : any natural transformation from " F " to another functor satisfying the conditions of the theorem necessarily induces a map of the representing objects.