Codescent objects and coherence

Two-dimensional monad theory

Robert N. Blackwell, G. M. Kelly, John Power · Journal of Pure and Applied Algebra · 1989 · 288 citations

Algebraic Logic, Automated Reasoning, Two-dimensional Monad Theory +2

Elementary observations on 2-categorical limits

G. M. Kelly · Bulletin of the Australian Mathematical Society · 1989 · 180 citations · Full text

Weaker Bilimits, Higher Category Theory, Formal Methods +5

Monads for which structures are adjoint to units

Anders Kock · Journal of Pure and Applied Algebra · 1995 · 164 citations

Algebraic Logic, Abstract Algebra, Universal Algebra +1

A general coherence result

John Power · Journal of Pure and Applied Algebra · 1989 · 123 citations

Engineering, General Coherence Result, Automated Reasoning +3

A Coherent Approach to Pseudomonads

Stephen Lack · Advances in Mathematics · 2000 · 73 citations

Gram-negative Bacteriology, Bacteriology, Microbiology +3