scientific article; zbMATH DE number 3370546

Cited in

(only showing first 100 items - show all)

Coherence in linear predicate logic
A minimalist two-level foundation for constructive mathematics
On the algebraic structure of declarative programming languages
An application of open maps to categorical logic
Cofibrations. II: Left exact right actions and compositions of gamuts
A small complete category
From types to sets
Categorical models of polymorphism
Comprehension categories and the semantics of type dependency
Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness
Change of base for toposes with generators
Yoneda structures on 2-categories
Structural induction and coinduction in a fibrational setting
Spreads and the symmetric topos. II
An algebraic theory of normal forms
On the semantics of the universal quantifier
Descent theory of locally internal categories
The petit topos of globular sets
Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
A game semantics for generic polymorphism
On completeness and cocompleteness in and around small categories
The Frobenius condition, right properness, and uniform fibrations
A characterisation of elementary fibrations
Dialectica logical principles
Elementary doctrines as coalgebras
Categorical notions of fibration
A co-free construction for elementary doctrines
Unifying exact completions
Second-order type isomorphisms through game semantics
Connected components and colimits
Yoneda structures from 2-toposes
Dialectica principles via Gödel doctrines
A characterization of generalized existential completions
Categories of partial equivalence relations as localizations
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
Comprehension for coalgebras
The category theoretic understanding of universal algebra: Lawvere theories and monads
Bourn-normal monomorphisms in regular Mal'tsev categories
Ordered combinatory algebras and realizability
The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
Distributors and the comprehensive factorization system for internal groupoids
A type theory for synthetic -categories
Categories in categories, and size matters
Mathesis Universalis and Homotopy Type Theory
Variation on a comprehensive theme
scientific article; zbMATH DE number 3933292 (Why is no real title available?)
Internal diagrams and archetypal reasoning in category theory
Quotient completion for the foundation of constructive mathematics
Fibred 2-categories and bicategories
scientific article; zbMATH DE number 29052 (Why is no real title available?)
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
An Isbell duality theorem for type refinement systems
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
The comprehensive factorization of Burroni's T-functors
Categories with families: unityped, simply typed, and dependently typed
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
Double categories of relations
V-comprehensions and P space
Doctrines, modalities and comonads
Elementary fibrations of enriched groupoids
The existential completion
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
CATEGORICAL HARMONY AND PATH INDUCTION
Coherence for modalities
Hopf monads on monoidal categories
Weak bimonads and weak Hopf monads
Universal properties for universal types in bifibrational parametricity
The interpretation of intuitionistic type theory in locally Cartesian closed categories -- an intuitionistic perspective
Linear realizability and full completeness for typed lambda-calculi
Distribution algebras and duality
Bifibrational functorial semantics of parametric polymorphism
Abstract categorical logic
Fibered universal algebra for first-order logics
From cubes to twisted cubes via graph morphisms in type theory
On duality and model theory for polyadic spaces
Left adjoint to precomposition in elementary doctrines
Quotients, pure existential completions and arithmetic universes
Gödel, Escher, Bell: contextual semantics of logical paradoxes
A 2-categorical analysis of context comprehension
Adding a constant and an axiom to a doctrine
Logical foundations of quantitative equality
Compatible weak factorization systems and model structures
Comprehensive factorisation systems
The relational quotient completion
Comprehension and quotient structures in the language of 2-categories
Categorical models of subtyping
The Kock-Mikkelsen factorisation
About Grothendieck fibrations
Aczel-Mendler bisimulations in a regular category
Deductive systems and coherence for skew prounital closed categories
First-order homotopical logic
Cauchy completions and the rule of unique choice in relational doctrines
Lawvere's Frobenius reciprocity, the modular connections of Grandis and Dilworth's abstract principal ideals
Quantifier-free formulas and quantifier alternation depth in doctrines
Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers
Biased elementary doctrines and quotient completions
(, 1)-categorical comprehension schemes
Foreword
Categorifying computable reducibilities

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5642701)