Coherent bicartesian and sesquicartesian categories

by Kosta Dosen , Zoran Petrić