Note: / Butler's Theorems, with one minor exception, are resolved: in a 2-categorical setting. His Adjointness theorems are all proved correct, after one tiny modification. Then, using a condition on adjoint squares, twenty-two of his Tripleability theorems are proved correct; th~ee are proved false. The other theorem is still unresolved, but it is of very minor importance. / Les theoremes de Butler, a l'exception d'un seul de peu d'importance, sont resulus dans un contexte 2-categorique.Tous ses theoremes d'adjonction sont demontres etre valides apres une modification minime. Ensuit~ utilisant une condition de carres adjoints, vingt-deux de ses Theoremes de monadicite sont demontres et trois autres sont refutes. La validation ou refutation d'un seul de ses +heoremes, de peu d'importance, demeure en suspense.

Butler's Theorems, with one minor exception, are resolved: in a 2-categorical setting. His Adjointness theorems are all proved correct, after one tiny modification. Then, using a condition on adjoint squares, twenty-two of his Tripleability theorems are proved correct; three are proved false. The other theorem is still unresolved, but it is of very minor importance.

Note:

No description available.