nLab Charles Wells

Charles Frederick Wells (1937-2017) was a Professor of Mathematics at Case Western Reserve University. His research interests were in group theory, category theory and its connections with theoretical computer science, in mathematical discourse, and in the problems of teaching and understanding mathematics.

• Wikipedia enty

• archived website

• archived publications

Selected writings:

On the categorical wreath product:

• Charles Wells: A Krohn-Rhodes theorem for categories, J. Algebra 64 1 (1980) 37-45 [doi:10.1016/0021-8693(80)90130-1]

Exposition of sheaf toposes:

• Michael Barr, Colin McLarty, Charles Wells, Variable set theory, prepared for Scientific American but unpublished (~1985) [pdf, pdf]

On sketches:

• Charles Wells, Sketches: Outline with references (1993) [citeseer:10.1.1.217.3531, pdf]

On topos theory, monads (“triples”) and algebraic theories via sketches:

• Michael Barr, Charles Wells: Toposes, Triples, and Theories, Grundlehren der math. Wissenschaften 278, Springer 1983, republished in: Reprints in Theory and Applications of Categories 12 (2005) 1-287 [tac:tr12]

On category theory in computer science, via star-autonomous categories and Chu spaces:

• Michael Barr, Charles Wells, Category theory for computing science, Prentice-Hall International Series in Computer Science (1995); reprinted in: Reprints in Theory and Applications of Categories 22 (2012) 1-538 [pdf, tac:tr22]

category: people