ON THE CONDITIONS OF FULL COHERENCE IN CLOSED CATEGORIES

[摘要] The necessary and sufficient conditions of commutativity of all the diagrams of canonical maps in any closed category V are obtained. The main condition is that for every object A in V the first dual A* is isomorphic to the third dual A***. It is also shown that isomorphism of A and A** (without additional conditions) is sufficient for full coherence.

[发布日期] 1991-01-07