最終更新日：2022/12/24
So it is natural to speak of a category of all categories, which we call CAT, the objects of which are all the categories, and the arrows of which are all the functors. This raises genuine problems. Is CAT a category in itself? Our answer here is to treat CAT as a regulative idea; that is, an inevitable way of thinking about categories and functors, but not a strictly legitimate entity. (Compare the self, the universe, and God in Kant 1781.) Of course, general category theory applies to CAT, and this category that we do not quite believe in is the single one that we investigate the most.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
So
it
is
natural
to
speak
of
a
category
of
all
categories,
which
we
call
CAT,
the
objects
of
which
are
all
the
categories,
and
the
arrows
of
which
are
all
the
functors.
This
raises
genuine
problems.
Is
CAT
a
category
in
itself?
Our
answer
here
is
to
treat
CAT
as
a
regulative
idea;
that
is,
an
inevitable
way
of
thinking
about
categories
and
functors,
but
not
a
strictly
legitimate
entity.
(Compare
the
self,
the
universe,
and
God
in
Kant
1781.)
Of
course,
general
category
theory
applies
to
CAT,
and
this
category
that
we
do
not
quite
believe
in
is
the
single
one
that
we
investigate
the
most.
