離散圏

圏論において離散圏(英:en:Discrete_category)とは非自明な射を全く持たないである.

つまり, 圏 が離散であるとは, の任意の異なる対象 に対し, 空集合となり, が恒等射のみからなるときをいう.

参考文献

 

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia