nLab Richard J. Wood

Selected writings

Richard Wood is a mathematician specializing in category theory and lattice theory. He is currently a professor at Dalhousie University.

Selected writings

Introducing the notion of locally graded categories (under the name large VV-categories):

On indexed categories:

On total categories:

Introducing the notion of 2-categories equipped with proarrows (“proarrow equipments”):

On completely distributive lattices:

Characterizing the category of sets as that whose Yoneda embedding extends to the left to an adjoint quintuple of adjoint functors:

On distributive laws and factorization systems:

On Cartesian bicategories:

On monads as extension systems (as in monads in computer science):

and generalizing the perspective of extension systems to pseudomonads:

On lenses (in computer science):

Last revised on December 15, 2023 at 12:03:56. See the history of this page for a list of all contributions to it.