Charles Wells' Home Page -- CWRU
Mathematics Department Home Page
charles dot wells at case dot edu
· Automorphism of Group Extensions
· Communicating Mathematics: Useful Ideas from Computer Science.
· Graph Based Logic and Sketches I.
· Graph Based Logic and Sketches II.
· Varieties of Mathematical Prose (with Atish Bagchi).
· Communicating Logical Reasoning (with Atish Bagchi).
· Extension Theories for Monoids.
· Extension Theories for Categories.
· On the Limitations of Sketches (with Michael Barr)
· Sketches: Outline with References.
· A Generalization of the Concept of Sketch
See also
· Toposes, Triples and Theories.
· Category Theory for Computing Science, by Michael Barr and Charles Wells.
All papers are provided in Acrobat .pdf format. They can be read on-screen and printed using Acrobat Reader, which is a free program available here. Printing from Acrobat Reader does not require a Postscript printer.
Some papers are also provided in other formats.
Bibliography in BibTeX form for the preceding paper.
Bibliography in BibTeX form for the preceding two papers.
Bibliography in BibTeX form for the preceding two papers.
“Extension
theories for monoids”.
Bibliography in BibTeX form for the preceding paper.
On the limitations of sketches (with Michael Barr)
A Generalization of the Concept of Sketch
TeX
DVI form.
Postscript form.
Acrobat Reader form.
TeX
DVI form.
Postscript form.
Acrobat Reader form.
DVI form.
Postscript form.
Acrobat Reader form.
DVI form.
Postscript form.
Acrobat Reader form.
DVI form.
Postscript form.
Acrobat Reader form.