The following pages link to General Functorial Semantics, I (Q3880994):
Displaying 17 items.
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
- Pluri-adjoints and preservation of finite limits (Q914820) (← links)
- Structure-semantics relation for non-varietal equational theories (Q1144639) (← links)
- Algebraic categories with few monoidal biclosed structures or none (Q1146754) (← links)
- Concrete categories and infinitary languages (Q1159753) (← links)
- Algebraic extensions of an archimedean lattice-ordered group. I (Q1208235) (← links)
- Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423) (← links)
- On the relationship between composite and tensor product triples (Q1252285) (← links)
- The category of complete lattices as a category of algebras (Q1262329) (← links)
- Nice separation axioms (Q1330909) (← links)
- On reflective subcategories of varieties (Q1886829) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- New-from-old full dualities via axiomatisation (Q2636520) (← links)
- Galois connections categorically (Q2639163) (← links)
- Adjoining an identity to a reduced Archimedean \(f\)-ring. II: Algebras (Q2642571) (← links)
- (Q3139896) (← links)