Beck's monadicity theorem

ID: beck-s-monadicity-theorem

New to topics? Read the docs here!