nLab Bob Walters

Robert Frank Carslaw Walters (1943-2015) taught at the University of Sydney and from 1999 at the University of Insubria.

• ResearchGate page

• DSCPI page (archive)

• blog

• archive of publications

• list of publications at University of Sydney

• Como Category Theory Archive (not working)

Selected writings

On categorical universal algebra (monads):

• R. F. C. Walters, A categorical approach to universal algebra, Ph.D. Thesis (1970) [anu:1885/133321]

On algebra objects:

• Michael Johnson, R. F. C. Walters, Algebra objects and algebra families for finite limit theories, Journal of Pure and Applied Algebra, 83, 3 (1992) 283-293. [ doi:10.1016/0022-4049(92)90047-J ]

On closed bicategories and locally internal categories:

• Renato Betti, Robert F. C. Walters, Closed bicategories and variable category theory, Universita degli Studi di Milano (1985), reprinted in: Reprints in Theory and Applications of Categories, 26 (2020) 1-27 $[$tac:tr26$]$

On extensive categories and distributive categories:

• Aurelio Carboni, Stephen Lack, R. F. C. Walters, Introduction to extensive and distributive categories, JPAA 84 (1993) pp. 145-158 (doi:10.1016/0022-4049(93)90035-R)

On Cartesian bicategories:

• Aurelio Carboni, Bob Walters, Cartesian Bicategories, I, Journal of Pure and Applied Algebra, Volume 49, Issues 1–2, November 1987, (doi:10.1016/0022-4049(87)90121-6)

• 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)

• Piergiulio Katis, Nicoletta Sabadini, Bob Walters, On the algebra of feedback and systems with boundary, Rendiconti del Circolo Matematico di Palermo. (2) Supplemento, 64 (2000), 123–156. (pdf)

• Piergiulio Katis, Nicoletta Sabadini, Bob Walters, Bicategories of processes, Journal of Pure and Applied Algebra 115 (1997) 141–178 [doi:10.1016/S0022-4049(96)00012-6, pdf]

• Piergiulio Katis, Nicoletta Sabadini, Bob Walters: $Span(Graph)$: A categorical algebra of transition systems, in Michael Johnson (ed.), Algebraic Methodology and Software Technology, AMAST ‘97, Lecture Notes in Computer Science 1349, Springer (1997) 307–321 [doi:10.1007/BFb0000479, ps]

An introductory textbook on category theory for computer science:

• R. F. C. Walters, Categories and Computer Science, Cambridge University Press, 1992. (doi:10.1017/CBO9780511608872)

Related entries:

• allegory

• bicategory of relations

category: people