oplax

形容词 adj.

英文释义

形容词 adj.
  1. Pertaining to the dual of a lax monoidal functor. not-comparable
    — From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally inductive groupoids and to an equivalence between the category of inverse categories with oplax functors and the category of top-heavy locally inductive groupoids and ordered functors..

词源

Related to lax
7 次浏览 数据来源: Wiktionary