The following pages link to Theories, Sites, Toposes (Q2825457):
Displayed 19 items.
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Some invariant skeletons for \(\ell\)-u groups and MV-algebras (Q1732804) (← links)
- Syntactic categories for Nori motives (Q1783984) (← links)
- Monoid properties as invariants of toposes of monoid actions (Q2044554) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- Grothendieck toposes as unifying `bridges': a mathematical morphogenesis (Q2080586) (← links)
- Isotropy of algebraic theories (Q2134819) (← links)
- General affine adjunctions, Nullstellensätze, and dualities (Q2196331) (← links)
- Block generalized locally Toeplitz sequences: theory and applications in the unidimensional case (Q2303349) (← links)
- Block generalized locally Toeplitz sequences: theory and applications in the multidimensional case (Q2303350) (← links)
- On the geometric theory of local MV-algebras (Q2400339) (← links)
- Some aspects of topological Galois theory (Q2422449) (← links)
- Quantum GestART: identifying and applying correlations between mathematics, art, and perceptual organization (Q5152280) (← links)
- On Supercompactly and Compactly Generated Toposes (Q5163480) (← links)
- Categories, Musical Instruments, and Drawings: A Unification Dream (Q5237257) (← links)
- LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE (Q5346693) (← links)
- The Unification of Mathematics via Topos Theory (Q6075162) (← links)
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) (← links)