最終更新日：2025/12/30
例文
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.
復習用の問題
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.
音声機能が動作しない場合はこちらをご確認ください
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
