Coherent bicartesian and sesquicartesian categories, R. Kahle et al
by
Zoran Petrić
| Venue: | eds, Proof Theory in Computer Science, Lecture |
| Citations: | 11 - 1 self |
BibTeX
@INPROCEEDINGS{Petrić_coherentbicartesian,
author = {Zoran Petrić},
title = {Coherent bicartesian and sesquicartesian categories, R. Kahle et al},
booktitle = {eds, Proof Theory in Computer Science, Lecture},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the initial object with itself are the same. (Every
