Kleisli enriched

From MaRDI portal
Publication:456865