equivalence of categories

短语

词形变化

equivalences of categories 复数

释义与例句

n.
  1. 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.