John Walker Gray (1932? – 2017) was a category theorist known for work in, among other areas, 2-category theory.

On category theory formulated “formally” in the 2-category Cat of all categories:

- John Gray,
*Formal category theory: adjointness for 2-categories*, Lecture Notes in Mathematics, Vol. 391.Springer 1974 (doi:10.1007/BFb0061280)

category: people

Last revised on October 4, 2022 at 23:47:52. See the history of this page for a list of all contributions to it.