Closedness properties of internal relations. III: Pointed protomodular categories

From MaRDI portal
Publication:2643607