discrete category

1. Definition

Eine Kategorie ist diskret, wenn sie bloß den Identitätsmorphismus als Morphismus besitzt

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 21:29