Coherence in nonmonoidal closed categories
Coherence in nonmonoidal closed categories
复制标题
非单群封闭范畴中的一致性
DOI：
--
复制
发表时间：
1977
期刊：
影响因子：
--
通讯作者：
M. Laplaza
中科院分区：
文献类型：
--
作者：
M. Laplaza
. A nonmonoidal closed category is a category with an internal homomorphism functor, left Yoneda natural arrows, unity object and some natural transformations and coherence axioms. The object of this paper is to give a complete solution of the coherence problem in this structure: we use a cut-elimination theorem as basic tool to prove that the elementary natural transformations are characterized by their graph (roughly speaking the graph is the type of identification imposed by a natural transformation on the arguments of its domain and codomain).
