Indiskret kategori

En indiskret kategori är en kategori C där varje hom-set C ( X , Y ) är en singelton . Varje klass X ger upphov till en indiskret kategori vars objekt är elementen i X så att det för två objekt A och B bara finns en morfism från A till B. Alla två icke-tomma indiskreta kategorier är likvärdiga med varandra. Funktionen från uppsättning till katt som skickar en uppsättning till motsvarande indiskret kategori ligger precis bredvid den funktion som skickar en liten kategori till sin uppsättning objekt.