Meaning of oplax | Babel Free

Definitions

Pertaining to the dual of a lax monoidal functor.

not-comparable

Examples

“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..”

CEFR level