Beck's monadicity theorem (Q4878586)
theorem characterizing monadic functors
- Beck tripleability theorem
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Beck's monadicity theorem |
theorem characterizing monadic functors |
|
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Beck's monadicity theorem