Sciweavers

SLOGICA
2002
81views more  SLOGICA 2002»
13 years 11 months ago
Bicartesian Coherence
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places...
Kosta Dosen, Zoran Petric