discrete category

Noun

(category theory) A category whose morphisms are all identity morphisms.

Japanese Meaning

全ての射が恒等射のみである圏。つまり、各対象はその対象自身からの射（恒等射）以外の射を持たない。

When introducing functors, professors often use the discrete category as a clear example because it has only identity morphisms.

函手を導入する際、教授はしばしば離散圏を明確な例として用います。離散圏はすべての射が恒等射である圏です。

Sense（1）

(category theory) A category whose morphisms are all identity morphisms.

discrete categories

（ plural ）