| dbo:description
|
- theorem characterizing monadic functors (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:authorlink
| |
| dbp:first
| |
| dbp:id
|
- monadic+descent (en)
- monadicity+theorem (en)
|
| dbp:last
| |
| dbp:title
|
- monadic descent (en)
- monadicity theorem (en)
|
| dbp:wikiPageUsesTemplate
| |
| dbp:year
| |
| dct:subject
| |
| rdfs:label
|
- Beck's monadicity theorem (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
