Semantics of multimodal adjoint type theory

DOI10.46298/ENTICS.12300MaRDI QIDQ6831461zbMATH OpenFDO

Authors Michael Shulman

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.12300

zbMATH Keywords

categorical semanticsdependent type theorymodal type theorymodalities

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A constructive manifestation of the Kleene-Kreisel continuous functionals
• A judgmental reconstruction of modal logic
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjoining adjoints
• Adjoint logic with a 2-category of modes
• Artin glueing
• Axiomatic cohesion
• Bilinearity and Cartesian Closed Monads.
• Cartesian monads on toposes
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 3548980 (Why is no real title available?)
• scientific article; zbMATH DE number 2079044 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• scientific article; zbMATH DE number 2247252 (Why is no real title available?)
• Modalities and Parametric Adjoints
• Multimodal dependent type theory
• Normalization for multimodal type theory
• On a Topological Topos
• Undecidability of the free adjoint construction

This page was built for publication: Semantics of multimodal adjoint type theory

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