oplax
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Related to lax This etymology is incomplete. You can help Wiktionary by elaborating on the origins of this term.
Adjective[edit]
oplax (not comparable)
- (mathematics) Pertaining to the dual of a lax monoidal functor.
- 2015, Darien DeWolf, Dorette Pronk, “The Ehresmann-Schein-Nampooripad Theorem for Inverse Categories”, in arXiv[1]:
- 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..