Charles Wells' Home Page  -- CWRU Mathematics Department Home Page
send email to Charles Wells (charles@freude.com)

Papers by Charles Wells and others

Index

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

·  Electronic supplement, answers and corrections to "Category Theory for Computing Science".

·  Corrections to "Toposes, Triples and Theories".

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.

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

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.

Note: The papers, "Communicating Mathematics: Useful Ideas from Computer Science" and  "Graph-based Logic and Sketches I: The General Framework" were translated into PDF form incorrectly.  The arrows in the diagrams are botched and some typographical characters were changed to others.  You can still see what we are writing about from these files, but if you want to work through the papers in detail please write me (below) and I will p-mail you a readable copy.  A repair job will take some time since it will involve switching to the current form of xy-pic, but we do expect to do this Real Soon Now. –Charles Wells

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