The following pages link to Lax Monoidal Fibrations (Q3093874):
Displaying 6 items.
- The formal theory of monoidal monads (Q456867) (← links)
- Lax algebras via initial monad morphisms: APP, TOP, MET and ORD (Q536041) (← links)
- Actads (Q2169098) (← links)
- The web monoid and opetopic sets (Q2376562) (← links)
- Model theory and the Tannakian formalism (Q5496624) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)