Cover Image

Projective Presentations of Lex Modalities

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Williams, Mark Damuni
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Category Theory 03B38, 03B70, 18N55, 55U35 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
by: Ramos, Arthur F., et al.
Published: (2025)

On symmetries of spheres in univalent foundations
by: Cagne, Pierre, et al.
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
by: Martinez-Rivillas, Daniel O., et al.
Published: (2026)

Synthetic Homotopy Theory
by: Wei, Yuhang
Published: (2024)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2021)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
by: Bezem, Marc, et al.
Published: (2022)

Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
by: Nakamura, Yuki
Published: (2026)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
by: Wärn, David
Published: (2023)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
by: Poernomo, Iman
Published: (2025)