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