Relative full completeness for bicategorical Cartesian closed structure

DOI10.1007/978-3-030-45231-5_15OpenAlexW3016444786MaRDI QIDQ2200828FDOQ2200828

Authors: Marcelo P. Fiore, Philip Saville 

Publication date: 23 September 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-45231-5_15

Recommendations

• A type theory for Cartesian closed bicategories
• Coherence for bicategorical cartesian closed structure
• Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
• Pointers in Recursion: Exploring the Tropics
• Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types

zbMATH Keywords

type theoryconservative extensionrewritingbicategoriesglueingCartesian closurerelative full completeness

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories for Types
• Title not available (Why is that?)
• A general coherence result
• Introduction to bicategories
• Cartesian bicategories. I
• Introduction to extensive and distributive categories
• Yoneda structures from 2-toposes
• Enriched categories, internal categories and change of base
• Title not available (Why is that?)
• Logical relations and the typed λ-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Categorical Treatment of Ornaments
• Title not available (Why is that?)
• Games and full completeness for multiplicative linear logic
• Iteration 2-theories
• A 2-categories companion
• Coherence for bicategories and indexed categories
• Cartesian Bicategories II
• The cartesian closed bicategory of generalised species of structures
• Polynomial functors and polynomial monads
• Title not available (Why is that?)
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Title not available (Why is that?)
• Axiomatic Domain Theory in Categories of Partial Maps
• The virtues of eta-expansion
• Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
• A characterization of lambda definability in categorical models of implicit polymorphism
• Kan extensions and lax idempotent pseudomonads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bicategories of spans as cartesian bicategories
• An abstract formulation for rewrite systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• On operads, bimodules and analytic functors
• Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
• Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure
• Games and strategies as event structures

Cited In (4)

• Coherence for bicategorical cartesian closed structure
• Relative Pfaffian closure for definably complete Baire structures
• A type theory for Cartesian closed bicategories
• A categorical framework for congruence of applicative bisimilarity in higher-order languages

This page was built for publication: Relative full completeness for bicategorical Cartesian closed structure

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