equivalence of categories

名词 n.
中文释义

英文释义

名词 n.
  1. An adjunction whose unit and counit are both natural isomorphisms.
    — There is an equivalence of categories between the category of simply typed lambda calculi and the category of cartesian closed categories; this was shown by Lambek and Scott.

词形变化

equivalences of categories plural
0 次浏览 数据来源: Wiktionary