最終更新日:2024/07/28
A rapidly executed freehand drawing that is not intended as a finished work, often consisting of a multitude of overlapping lines. / A rough design, plan, or draft, as a rough draft of a book.
正解を見る
sketch
編集履歴(0)
元となった辞書の項目
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).