Home > Library > MSRI Preprints > 1996 > Preprint 1996-092

MSRI Preprint 1996-092

Graph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)

Atish Bagchi and Charles Wells

Abstract: formatted, text only

Preprint: compressed Postscript, compressed tar archive of source (TeX, macros, bibliography), PDF