子结构范畴中的 coherence

证明了 MacLane 关于幺半范畴与对称幺半范畴的 coherence 结果可推广到某些具有乘法的其他范畴；即相关的（relevant）、仿射（affine）与笛卡尔（cartesian）范畴。所有结果均用配备“图”的自然变换（g-自然变换）表述，并作为推论给出相应的态射定理。利用这些结果，得到了这些类的自由范畴之间的若干基本关系。