The following pages link to (Q4828514):
Displayed 50 items.
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Spectral Mackey functors and equivariant algebraic \(K\)-theory. I. (Q329504) (← links)
- The \(K\)-theory of assemblers (Q329526) (← links)
- On inverse semigroup \(C^*\)-algebras and crossed products (Q399427) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Topological inductive definitions (Q450944) (← links)
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- Modes of adjointness (Q484110) (← links)
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher'' Morita categories (Q502639) (← links)
- On Kan-injectivity of locales and spaces (Q513908) (← links)
- Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry (Q517698) (← links)
- How to be a structuralist all the way down (Q542132) (← links)
- Dedekind categories with cutoff operators (Q549312) (← links)
- A representation theorem for geometric morphisms (Q613566) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Structural universals as structural parts: toward a general theory of parthood and composition (Q656165) (← links)
- Atomic toposes and countable categoricity (Q695312) (← links)
- Noncommutativity as a colimit (Q695318) (← links)
- Grothendieck quasitoposes (Q713289) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- Effective motives with and without transfers in characteristic \(p\) (Q728240) (← links)
- Intuitionistic quantum logic of an \(n\)-level system (Q735205) (← links)
- New wide classes of weakly Mal'tsev categories (Q748711) (← links)
- Étale groupoids and their quantales (Q854099) (← links)
- The intersection of algebra and coalgebra (Q860879) (← links)
- Baer sums in homological categories (Q868875) (← links)
- Normalizers and split extensions (Q891919) (← links)
- Note on a theorem of Bousfield and Friedlander (Q930749) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Fuzzy sets and geometric logic (Q969577) (← links)
- Läuchli's completeness theorem from a topos-theoretic perspective (Q969688) (← links)
- Sheaves as modules (Q969690) (← links)
- The universal covering of an inverse semigroup. (Q969694) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory (Q981685) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- De Morgan classifying toposes (Q1034091) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- Presenting locale pullback via directed complete posets (Q1434361) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms (Q1683369) (← links)
- Enriched and internal categories: an extensive relationship (Q1689326) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- Tensor triangular geometry of filtered modules (Q1755546) (← links)
- Splitting idempotents in a fibered setting (Q1756501) (← links)