Buchumschlag

Univalence without function extensionality

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cavallo, Evan, Höfer, Jonas
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Internalizing Representation Independence with Univalence
von: Angiuli, Carlo, et al.
Veröffentlicht: (2020)

On Small Types in Univalent Foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2021)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Eliminating reversals from cubical type theories
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)

Derivatives for Containers in Univalent Foundations
von: Joram, Philipp, et al.
Veröffentlicht: (2025)

The equivariant model structure on cartesian cubical sets
von: Awodey, Steve, et al.
Veröffentlicht: (2024)

Automating Boundary Filling in Cubical Type Theories
von: Doré, Maximilian, et al.
Veröffentlicht: (2024)

Univalent Double Categories
von: van der Weide, Niels, et al.
Veröffentlicht: (2023)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
von: Ambridge, Todd Waugh
Veröffentlicht: (2024)

The Formal Theory of Monads, Univalently
von: van der Weide, Niels
Veröffentlicht: (2022)

Normalisation for Negative Free Logics without and with Definite Descriptions
von: Kürbis, Nils
Veröffentlicht: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Univalent Enriched Categories and the Enriched Rezk Completion
von: van der Weide, Niels
Veröffentlicht: (2024)

The Patch Topology in Univalent Foundations
von: Arrieta, Igor, et al.
Veröffentlicht: (2024)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)

Extensional and Non-extensional Functions as Processes
von: Sakayori, Ken, et al.
Veröffentlicht: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Impredicative Encodings of (Higher) Inductive Types
von: Awodey, Steve, et al.
Veröffentlicht: (2018)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Uniform interpolation with constructive diamond
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)