元となった辞書の項目
sketch
noun
意味(1)
意味(4)
意味(6)
意味(8)
意味(9)
(category
theory)
A
formal
specification
of
a
mathematical
structure
or
a
data
type
described
in
terms
of
a
graph
and
diagrams
(and
cones
(and
cocones))
on
it.
It
can
be
implemented
by
means
of
“models”,
which
are
functors
which
are
graph
homomorphisms
from
the
formal
specification
to
categories
such
that
the
diagrams
become
commutative,
the
cones
become
limiting
(i.e.,
products),
the
cocones
become
colimiting
(i.e.,
sums).