Cover Image

Derivatives for Containers in Univalent Foundations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Joram, Philipp, Veltri, Niccolò
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Monoid Structures on Indexed Containers
by: De Pascalis, Michele, et al.
Published: (2025)

Univalence without function extensionality
by: Cavallo, Evan, et al.
Published: (2026)

The Patch Topology in Univalent Foundations
by: Arrieta, Igor, et al.
Published: (2024)

Semi-Substructural Logics with Additives
by: Veltri, Niccolò, et al.
Published: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
by: Buchholtz, Ulrik, et al.
Published: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Univalent Double Categories
by: van der Weide, Niels, et al.
Published: (2023)

Constructive and Predicative Locale Theory in Univalent Foundations
by: Tosun, Ayberk
Published: (2026)

Doctrinal Semantics of Directed First-Order Logic
by: Laretto, Andrea, et al.
Published: (2025)

Internalizing Representation Independence with Univalence
by: Angiuli, Carlo, et al.
Published: (2020)

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
by: Ambridge, Todd Waugh
Published: (2024)

Univalent Enriched Categories and the Enriched Rezk Completion
by: van der Weide, Niels
Published: (2024)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

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

Trocq: Proof Transfer for Free, With or Without Univalence
by: Cohen, Cyril, et al.
Published: (2023)

Distributive Laws of Monadic Containers
by: Purdy, Chris, et al.
Published: (2025)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Univalent Foundations of Constructive Algebraic Geometry
by: Zeuner, Max
Published: (2024)

Dynamic Cantor Derivative Logic
by: Fernández-Duque, David, et al.
Published: (2021)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Scott's Representation Theorem and the Univalent Karoubi Envelope
by: van der Leer, Arnoud, et al.
Published: (2025)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

A Categorical Foundation of Rough Sets
by: Kakutani, Yoshihiko
Published: (2025)

Six Birds: Foundations of Emergence Calculus
by: Tsiokos, Ioannis
Published: (2026)

Craig Interpolation in Program Verification
by: Rümmer, Philipp
Published: (2026)

Decidability for Sturmian words
by: Hieronymi, Philipp, et al.
Published: (2021)

Foundations of probability-raising causality in Markov decision processes
by: Baier, Christel, et al.
Published: (2022)

Foundations of logic programming in hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
by: Irani, Khashayar
Published: (2025)

A Foundation for Differentiable Logics using Dependent Type Theory
by: Affeldt, Reynald, et al.
Published: (2026)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
by: Nakamura, Yoshiki
Published: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

On verification and constraint generation for families of similar hybrid automata
by: Sofronie-Stokkermans, Viorica, et al.
Published: (2025)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
by: Cailler, Julie, et al.
Published: (2025)