Charles Wells' Home Page -- CWRU Mathematics Department Home Page
· Graph Based Logic and Sketches. New version!
· Varieties of Mathematical Prose.
· Communicating Logical Reasoning.
· Extension Theories for Categories.
· Sketches: Outline with References.
· Electronic supplement, answers and corrections to "Category Theory for Computing Science".
· Corrections to "Toposes, Triples and Theories".
See also
· The Handbook of Mathematical
Discourse
· 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 paper.
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.