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