Une catégorie de Kleisli est une catégorie associée à une monade. Elle tient son nom du mathématicien suisse (en) qui l'a introduite à l'origine pour montrer que toute monade est issue d'une adjonction.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:namedAfter | |
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink | |
| prop-fr:wikiPageUsesTemplate | |
| dct:subject | |
| rdfs:comment |
|
| rdfs:label |
|
| rdfs:seeAlso | |
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| is dbo:wikiPageWikiLink of | |
| is oa:hasTarget of | |
| is foaf:primaryTopic of |
