On lax protomodularity for \(\mathsf{Ord}\)-enriched categories

From MaRDI portal
Publication:2699432