Pages that link to "Item:Q1273384"
From MaRDI portal
The following pages link to Algebraic theories of quasivarieties (Q1273384):
Displaying 9 items.
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
- A simple characterization of theories of varieties (Q1593791) (← links)
- On quasivarieties and varieties as categories (Q1770598) (← links)
- Enriched regular theories (Q2301998) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- On an essentially algebraic theory for locally presentable categories (Q2502182) (← links)
- Hopf and Lie algebras in semi-additive Varieties (Q2985125) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- Syntactic characterizations of various classes of locally presentable categories (Q5939609) (← links)
