離散圏
圏論において離散圏（英：）とは非自明な射を全く持たない圏である.