TY  - RPRT
TI  - Graph-Based Logic and Sketches II: Finite-Product Categories and Equational Logic (Preliminary Report)
AU  - Atish Bagchi
AU  - Charles Wells
PY  - 1996
UR  - https://arxiv.org/abs/math/9612220
ID  - math/9612220
ER  -