scientific article; zbMATH DE number 3370546
From MaRDI portal
Publication:5642701
zbMath0234.18002MaRDI QIDQ5642701
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (83)
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ A characterisation of elementary fibrations ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ An algebraic theory of normal forms ⋮ V-comprehensions and P space ⋮ On completeness and cocompleteness in and around small categories ⋮ Dialectica logical principles ⋮ Doctrines, modalities and comonads ⋮ Yoneda structures from 2-toposes ⋮ A small complete category ⋮ On the semantics of the universal quantifier ⋮ Elementary fibrations of enriched groupoids ⋮ The comprehensive factorization of Burroni's T-functors ⋮ Internal diagrams and archetypal reasoning in category theory ⋮ Quotient completion for the foundation of constructive mathematics ⋮ Fibred 2-categories and bicategories ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Variation on a comprehensive theme ⋮ Abstract categorical logic ⋮ Fibered universal algebra for first-order logics ⋮ From types to sets ⋮ Dialectica principles via Gödel doctrines ⋮ A characterization of generalized existential completions ⋮ On duality and model theory for polyadic spaces ⋮ A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes ⋮ Ordered combinatory algebras and realizability ⋮ Categories of partial equivalence relations as localizations ⋮ Alpha conversion, conditions on variables and categorical logic ⋮ Unnamed Item ⋮ Universal properties for universal types in bifibrational parametricity ⋮ Bifibrational functorial semantics of parametric polymorphism ⋮ Elementary doctrines as coalgebras ⋮ Categorical notions of fibration ⋮ Distributors and the comprehensive factorization system for internal groupoids ⋮ A type theory for synthetic $\infty$-categories ⋮ Mathesis Universalis and Homotopy Type Theory ⋮ An Isbell duality theorem for type refinement systems ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ Equality of proofs for linear equality ⋮ The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories ⋮ Unnamed Item ⋮ Categorical models of polymorphism ⋮ Comprehensive factorisation systems ⋮ Second-order type isomorphisms through game semantics ⋮ Unnamed Item ⋮ The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective ⋮ Distribution algebras and duality ⋮ Coherence for modalities ⋮ A co-free construction for elementary doctrines ⋮ Unifying exact completions ⋮ Hopf monads on monoidal categories ⋮ Weak bimonads and weak Hopf monads ⋮ Comprehension categories and the semantics of type dependency ⋮ Läuchli's completeness theorem from a topos-theoretic perspective ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Linear realizability and full completeness for typed lambda-calculi ⋮ A game semantics for generic polymorphism ⋮ Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness ⋮ Unnamed Item ⋮ Generalising canonical extension to the categorical setting ⋮ Change of base for toposes with generators ⋮ Unnamed Item ⋮ The existential completion ⋮ Yoneda structures on 2-categories ⋮ Comprehensive Parametric Polymorphism: Categorical Models and Type Theory ⋮ Coherence in linear predicate logic ⋮ Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories ⋮ Structural induction and coinduction in a fibrational setting ⋮ A categorical outlook on relational modalities and simulations ⋮ A minimalist two-level foundation for constructive mathematics ⋮ On the algebraic structure of declarative programming languages ⋮ Connected components and colimits ⋮ Comprehension for Coalgebras ⋮ Spreads and the symmetric topos. II ⋮ Bourn-normal monomorphisms in regular Mal'tsev categories ⋮ Descent theory of locally internal categories ⋮ The petit topos of globular sets ⋮ An application of open maps to categorical logic ⋮ On conceptual completeness of syntactic-semantical systems ⋮ Categories with Families: Unityped, Simply Typed, and Dependently Typed ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads ⋮ Cofibrations. II: Left exact right actions and compositions of gamuts ⋮ CATEGORICAL HARMONY AND PATH INDUCTION
This page was built for publication:
