nLab Richard J. Wood

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

• Faculty page at Dalhousie

Selected writings

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

• Richard Wood, Indical methods for relative categories, PhD thesis (1976) [hdl:10222/55465]

• Richard Wood, $V$-indexed categories, in Indexed Categories and Their Applications, Lecture Notes in Mathematics 661 (1978) 126-140 [doi:10.1007/BFb0061362]

On indexed categories:

• P. T. Johnstone, R. Paré, R. D. Rosebrugh, D. Schumacher, R. J. Wood, G. C. Wraith, Indexed Categories and Their Applications, Lecture Notes in Mathematics 661 (1978) [doi:10.1007/bfb0061362]

On total categories:

• Richard J. Wood, Some remarks on total categories, J. Algebra 75 2 (1982) 538-545 [doi:10.1016/0021-8693(82)90055-2]

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

• Richard J. Wood, Abstract Proarrows I, Cahiers de topologie et géométrie différentielle 23 3 (1982) 279-290 [numdam:CTGDC_1982__23_3_279_0]

• Richard J. Wood, Proarrows II, Cahiers de Topologie et Géométrie Différentielle Catégoriques 26 2 (1985) 135-168 [numdam:CTGDC_1985__26_2_135_0]

On completely distributive lattices:

• Barry Fawcett, Richard J. Wood, Constructive complete distributivity I , Math. Proc. Camb. Phil. Soc. 107 (1990) 81-89 [doi:10.1017/S0305004100068377]

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

• Robert Rosebrugh, Richard J. Wood, An adjoint characterization of the category of sets. PAMS 122 2 (1994) 409-413 [jstor:2161031]

On distributive laws and factorization systems:

• Robert Rosebrugh, Richard J. Wood, Distributive Laws and Factorization, Journal of Pure and Applied Algebra 175 1–3 (2002) 327-353 [doi:10.1016/S0022-4049(02)00140-8pdf]

On Cartesian bicategories:

• Aurelio Carboni, Max Kelly, Bob Walters, Richard Wood, Cartesian Bicategories II, Theory and Applications of Categories, Vol. 19, 2008, No. 6, pp 93-124. (arXiv:0708.1921, tac:19-06)

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

• Francisco Marmolejo, Richard J. Wood, Monads as extension systems – no iteration is necessary TAC 24 4 (2010) 84-113 [24-04]

and generalizing the perspective of extension systems to pseudomonads:

• Francisco Marmolejo, Richard J. Wood, Kan extensions and lax idempotent pseudomonads, TAC 26 1 (2012) 1-29 [26-01]

• Francisco Marmolejo, Richard J. Wood, No-iteration pseudomonads, TAC 28 14 (2013) 371-402 [tac:28-14]

On lenses (in computer science):

• Michael Johnson, Robert Rosebrugh, Richard Wood, Algebras and Update Strategies, Journal of Universal Computer Science 16 (2010) [doi:10.3217/jucs-016-05-0729]

• Michael Johnson, Robert Rosebrugh, Richard J. Wood, Lenses, fibrations and universal translations Math. Structures Comput. Sci. 22 1 (2012) 25–42 [doi:10.1017/S0960129511000442]