Restriction categories I: categories of partial maps

Two-dimensional monad theory

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

Introduction to extensive and distributive categories

A. Carboni, Stephen Lack, R. F. C. Walters · Journal of Pure and Applied Algebra · 1993 · 286 citations

Language Studies, Mathematics, Semantics +8

Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads

G. M. Kelly, John Power · Journal of Pure and Applied Algebra · 1993 · 178 citations

Natural Sciences, Mathematics, Set Theory +2

Semantics of weakening and contraction

Bart Jacobs · Annals of Pure and Applied Logic · 1994 · 153 citations

Language Studies, Mathematics, Knowledge Representation +6

Categories of partial maps

E. Powell Robinson, Giuseppe Rosolini · Information and Computation · 1988 · 151 citations

Natural Sciences, Geography, Geographic Information Systems +3