Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
Right adjoint to oplax is lax
Right adjoint to oplax is lax
formal-category-theory
Graph View
Backlinks
formal category theory
Lax monoidal functor
