Adjointness in foundations
From MaRDI portal
Recommendations
Cited in
(21)- Polyadic sets and homomorphism counting
- Type space functors and interpretations in positive logic
- Homotopy type theory and Voevodsky's univalent foundations
- Homotopies in Grothendieck fibrations
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- scientific article; zbMATH DE number 1178243 (Why is no real title available?)
- A characterisation of the category of compact Hausdorff spaces
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Quantum monadic algebras
- Fibered universal algebra for first-order logics
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
- Categorical approaches to non-commutative fuzzy logic
- On the Exchange Principle in Adjoint Triples
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Adjointness in descent theory
- First-order homotopical logic
- Foreword
- Categorifying computable reducibilities
- Smooth and proper maps with respect to a fibration
- A topos for extended Weihrauch degrees
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics
This page was built for publication: Adjointness in foundations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3411965)
