Beck's monadicity theorem

From Free net encyclopedia