The following pages link to (Q3855354):
Displayed 16 items.
- A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
- Weak reflections and weak factorization systems (Q633788) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems (Q857748) (← links)
- Modules (Q1054807) (← links)
- The p-adic spectrum (Q1071859) (← links)
- A small complete category (Q1112159) (← links)
- Separable algebraic closure in a topos (Q1164699) (← links)
- On reflective subcategories of varieties (Q1886829) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- (Q2719722) (← links)
- (Q3808286) (← links)
- (Q4723927) (← links)
- A set-theoretic proof of the representation of MV-algebras by sheaves (Q6044358) (← links)
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES (Q6103450) (← links)
- Limits, colimits, and spectra of modelled spaces (Q6161095) (← links)