Charles Wells' Home Page  -- CWRU Mathematics Department Home Page
charles dot wells at case dot edu

Papers by Charles Wells and others

Index

·  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.

·  Communicating Logical Reasoning.

·  Extension Theories for Categories.

·  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.

Acrobat Reader format

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.

“Automorphism of Group Extensions” (updated). 

"Communicating Mathematics: Useful Ideas from Computer Science".   See Note.

Bibliography in BibTeX form for the preceding paper.

"Graph-based Logic and Sketches I: The General Framework" by Atish Bagchi and Charles Wells.  See Note.

"Graph-based Logic and Sketches II: Finite Product Categories and equational Logic (Preliminary Report)" by Atish Bagchi and Charles Wells.

Bibliography in BibTeX form for the preceding two papers.

"Varieties of Mathematical Prose" by Atish Bagchi and Charles Wells.

"Communicating Logical Reasoning", by Atish Bagchi and Charles Wells.

Bibliography in BibTeX form for the preceding two papers.

"Extension theories for categories".

February, 1994 printing of "Sketches: Outline with references". With updates.

Bibliography in BibTeX form for the preceding paper.

A Generalization of the Concept of Sketch

Electronic supplement to the second edition of "Category Theory for Computing Science", by Michael Barr and Charles Wells.

TeX DVI form.
Postscript form.
Acrobat Reader form.

Answers to all the exercises in the second edition of "Category Theory for Computing Science", by Michael Barr and Charles Wells. (Note: the answers to the exercises in the Electronic Supplement are included therein.)

TeX DVI form.
Postscript form.
Acrobat Reader form.

Corrections to the second edition of "Category Theory for Computing Science", by Michael Barr and Charles Wells.

DVI form.
Postscript form.
Acrobat Reader form.

Corrections and additions to the first edition of "Category Theory for Computing Science", by Michael Barr and Charles Wells.

DVI form.
Postscript form.
Acrobat Reader form.

Corrections to "Toposes, Triples and Theories", by Michael Barr and Charles Wells.

DVI form.
Postscript form.
Acrobat Reader form.