Charles Wells' Home Page  -- CWRU Mathematics Department Home Page
send email to Charles Wells


Papers by Charles Wells and others


Index

·  Graph Based Logic and Sketches II.

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


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.


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

Corrections to the December, 1993 printing of the preceding paper.

Bibliography in BibTeX form for the preceding paper.

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.



CWRU Mathematics Department
[Toolbar]
About this server -- Copyright 1995 CWRU -- Unauthorized use prohibited