A 2-categorical pasting theorem

Graph Theory with Applications

E. Kay, J. A. Bondy, U. S. R. Murty · Operational Research Quarterly (1970-1977) · 1977 · 3K citations

Computing, Computer Science, Mathematics +12

The Category-Theoretic Solution of Recursive Domain Equations

Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 485 citations

Natural Sciences, Mathematics, Algebra +15

The algebra of oriented simplexes

Ross Street · Journal of Pure and Applied Algebra · 1987 · 324 citations

Natural Sciences, Mathematics, Algebra +5

Two-dimensional monad theory

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

Limits indexed by category-valued 2-functors

Ross Street · Journal of Pure and Applied Algebra · 1976 · 226 citations

Natural Sciences, Plastic Surgery, Semantics +4