Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2311.18781 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
You Wouldn't Permutahedron
by: Kolomatskaia, Astra
Published: (2024)
by: Kolomatskaia, Astra
Published: (2024)
Semantics of multimodal adjoint type theory
by: Shulman, Michael
Published: (2023)
by: Shulman, Michael
Published: (2023)
LNL polycategories and doctrines of linear logic
by: Shulman, Michael
Published: (2021)
by: Shulman, Michael
Published: (2021)
Strict universes for Grothendieck topoi
by: Gratzer, Daniel, et al.
Published: (2022)
by: Gratzer, Daniel, et al.
Published: (2022)
Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)
by: Speight, Sam
Published: (2024)
Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)
by: Hart, Perry, et al.
Published: (2024)
Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)
by: Awodey, Steve, et al.
Published: (2026)
(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)
by: Kapulkin, Chris, et al.
Published: (2025)
Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)
by: Speight, Sam, et al.
Published: (2026)
Synthetic 1-Categories in Directed Type Theory
by: Altenkirch, Thorsten, et al.
Published: (2024)
by: Altenkirch, Thorsten, et al.
Published: (2024)
A Type Theory with a Tiny Object
by: Riley, Mitchell
Published: (2024)
by: Riley, Mitchell
Published: (2024)
Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)
by: Awodey, Steve, et al.
Published: (2018)
Foundations of Substructural Dependent Type Theory
by: Aberlé, C. B.
Published: (2024)
by: Aberlé, C. B.
Published: (2024)
Polynomial Universes in Homotopy Type Theory
by: Aberlé, C. B., et al.
Published: (2024)
by: Aberlé, C. B., et al.
Published: (2024)
Functoriality of Enriched Data Types
by: Mulder, Lukas, et al.
Published: (2025)
by: Mulder, Lukas, et al.
Published: (2025)
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
by: Rosset, Aloïs, et al.
Published: (2024)
by: Rosset, Aloïs, et al.
Published: (2024)
From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)
by: Najmaei, Niyousha, et al.
Published: (2025)
Compositional Program Verification with Polynomial Functors in Dependent Type Theory
by: Aberlé, C. B.
Published: (2026)
by: Aberlé, C. B.
Published: (2026)
Classical Set Theory: Theory of Sets and Classes
by: Banakh, Taras
Published: (2020)
by: Banakh, Taras
Published: (2020)
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)
by: Di Liberti, Ivan
Published: (2020)
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)
by: Laretto, Andrea, et al.
Published: (2024)
An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)
by: Tabatabai, Amirhossein Akbar
Published: (2024)
Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
by: Haynes, Houston
Published: (2026)
by: Haynes, Houston
Published: (2026)
Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)
by: Abramsky, Samson, et al.
Published: (2021)
Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)
by: Vákár, Matthijs
Published: (2014)
Epimorphisms and Acyclic Types in Univalent Foundations
by: Buchholtz, Ulrik, et al.
Published: (2024)
by: Buchholtz, Ulrik, et al.
Published: (2024)
Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division
by: Forsman, David
Published: (2025)
by: Forsman, David
Published: (2025)
Basic Category Theory
by: Leinster, Tom
Published: (2016)
by: Leinster, Tom
Published: (2016)
The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)
by: van der Weide, Niels
Published: (2022)
Correspondence between Composite Theories and Distributive Laws
by: Rosset, Aloïs, et al.
Published: (2024)
by: Rosset, Aloïs, et al.
Published: (2024)
Evidential Decision Theory via Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2023)
by: Di Lavore, Elena, et al.
Published: (2023)
Proceedings Eighth International Conference on Applied Category Theory
by: Hadzihasanovic, Amar, et al.
Published: (2026)
by: Hadzihasanovic, Amar, et al.
Published: (2026)
A Fibrational Theory of First Order Differential Structures
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Adding a constant and an axiom to a doctrine
by: Guffanti, Francesca
Published: (2023)
by: Guffanti, Francesca
Published: (2023)
Duality for coalgebras for Vietoris and monadicity
by: Abbadini, Marco, et al.
Published: (2023)
by: Abbadini, Marco, et al.
Published: (2023)
Rich doctrines and Henkin's Theorem
by: Guffanti, Francesca
Published: (2023)
by: Guffanti, Francesca
Published: (2023)
Unstable independence from the categorical point of view
by: Kamsma, Mark, et al.
Published: (2023)
by: Kamsma, Mark, et al.
Published: (2023)
Left adjoint to precomposition in elementary doctrines
by: Guffanti, Francesca
Published: (2023)
by: Guffanti, Francesca
Published: (2023)
Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)
by: Kanalas, Kristóf
Published: (2025)