Pages that link to "Item:Q3638917"
From MaRDI portal
The following pages link to Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917):
Displaying 8 items.
- Notions of Lawvere theory (Q633806) (← links)
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
- The Gray tensor product via factorisation (Q1681847) (← links)
- Monads and theories (Q2001598) (← links)
- Graded algebraic theories (Q2200837) (← links)
- An enriched view on the extended finitary monad--Lawvere theory correspondence (Q4637686) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Syntactic approaches to opetopes (Q5094693) (← links)
