Adjective
Which
preservess
the
order
of
morphism
composition
:
formally
,
which
associates
each
morphism
<
math
>
f
:
X
\
to
Y
math
>
to
a
morphism
<
math
>
F
(
f
):
F
(
X
) \
to
F
(
Y
)math
>.
Noun
A
bihomogeneous
polynomial
in
''
x
'', ''
y
'', ...
and
the
coefficients
of
some
homogeneous
form
in
''
x
'', ''
y
'', ...
that
is
invariant
under
some
group
of
linear
transformations
.