Buchumschlag

Displayed Type Theory and Semi-Simplicial Types

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kolomatskaia, Astra, Shulman, Michael
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Category Theory Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

You Wouldn't Permutahedron
von: Kolomatskaia, Astra
Veröffentlicht: (2024)

Semantics of multimodal adjoint type theory
von: Shulman, Michael
Veröffentlicht: (2023)

LNL polycategories and doctrines of linear logic
von: Shulman, Michael
Veröffentlicht: (2021)

Groupoidal Realizability for Intensional Type Theory
von: Speight, Sam
Veröffentlicht: (2024)

Coslice Colimits in Homotopy Type Theory
von: Hart, Perry, et al.
Veröffentlicht: (2024)

Strict universes for Grothendieck topoi
von: Gratzer, Daniel, et al.
Veröffentlicht: (2022)

Path Types in Algebraic Type Theory
von: Awodey, Steve, et al.
Veröffentlicht: (2026)

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

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Synthetic 1-Categories in Directed Type Theory
von: Altenkirch, Thorsten, et al.
Veröffentlicht: (2024)

A Type Theory with a Tiny Object
von: Riley, Mitchell
Veröffentlicht: (2024)

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

Foundations of Substructural Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2024)

Polynomial Universes in Homotopy Type Theory
von: Aberlé, C. B., et al.
Veröffentlicht: (2024)

Functoriality of Enriched Data Types
von: Mulder, Lukas, et al.
Veröffentlicht: (2025)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)

Classical Set Theory: Theory of Sets and Classes
von: Banakh, Taras
Veröffentlicht: (2020)

From Semantics to Syntax: A Type Theory for Comprehension Categories
von: Najmaei, Niyousha, et al.
Veröffentlicht: (2025)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2026)

Formal Model Theory & Higher Topology
von: Di Liberti, Ivan
Veröffentlicht: (2020)

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
von: Haynes, Houston
Veröffentlicht: (2026)

An Introduction to Categorical Proof Theory
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
von: Laretto, Andrea, et al.
Veröffentlicht: (2024)

Syntax and Semantics of Linear Dependent Types
von: Vákár, Matthijs
Veröffentlicht: (2014)

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

Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division
von: Forsman, David
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

Basic Category Theory
von: Leinster, Tom
Veröffentlicht: (2016)

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

Adding a constant and an axiom to a doctrine
von: Guffanti, Francesca
Veröffentlicht: (2023)

Duality for coalgebras for Vietoris and monadicity
von: Abbadini, Marco, et al.
Veröffentlicht: (2023)

Rich doctrines and Henkin's Theorem
von: Guffanti, Francesca
Veröffentlicht: (2023)

Unstable independence from the categorical point of view
von: Kamsma, Mark, et al.
Veröffentlicht: (2023)

Left adjoint to precomposition in elementary doctrines
von: Guffanti, Francesca
Veröffentlicht: (2023)

Various topos of types constructions
von: Kanalas, Kristóf
Veröffentlicht: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
von: Reizi, Higuchi Joaquim
Veröffentlicht: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
von: Rogozin, Daniel
Veröffentlicht: (2025)

A constructive approach to the double-categorical small object argument
von: Berg, Benno van den, et al.
Veröffentlicht: (2025)

What can Topology tell us about Logical Complexity?
von: Kihara, Takayuki, et al.
Veröffentlicht: (2026)