Buchumschlag

Formal Model Theory & Higher Topology

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Di Liberti, Ivan
Format:	Preprint
Veröffentlicht:	2020
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

Weak saturation and weak amalgamation property
von: Di Liberti, Ivan
Veröffentlicht: (2017)

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

Codensity: Isbell duality, pro-objects, compactness and accessibility
von: Di Liberti, Ivan
Veröffentlicht: (2019)

Context, Judgement, Deduction
von: Coraglia, Greta, et al.
Veröffentlicht: (2021)

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

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

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

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

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

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

Displayed Type Theory and Semi-Simplicial Types
von: Kolomatskaia, Astra, et al.
Veröffentlicht: (2023)

Topological Dualities for Modal Algebras
von: Collinson, Matthew
Veröffentlicht: (2026)

Topologically valued transition structures
von: Collinson, Matthew
Veröffentlicht: (2026)

Effectful Toposes and Their Lawvere-Tierney Topologies
von: Yamada, Rinta
Veröffentlicht: (2026)

Evidential Decision Theory via Partial Markov Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2023)

Homotopical algebra is not concrete
von: Loregian, Fosco, et al.
Veröffentlicht: (2017)

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

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)

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

Formalization of dependent type theory: The example of CaTT
von: Benjamin, Thibaut
Veröffentlicht: (2021)

Condensed Sets and the Solovay Model
von: Bannister, Nathaniel, et al.
Veröffentlicht: (2026)

Modal Fracture of Higher Groups
von: Myers, David Jaz
Veröffentlicht: (2021)

Higher presentable categories and limits
von: Aoki, Ko
Veröffentlicht: (2025)

Higher geometric sheaf theories
von: Stenzel, Raffael
Veröffentlicht: (2022)

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

Enriched Locally Generated Categories
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2020)

Bi-accessible and bipresentable 2-categories
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2022)

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

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

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

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)

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

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
von: Abramsky, Samson, et al.
Veröffentlicht: (2022)

Pure maps are strict monomorphisms
von: Kanalas, Kristóf
Veröffentlicht: (2024)

Stable first order theories as simplicial profinite sets
von: Gavrilovich, Misha
Veröffentlicht: (2025)

De Morgan's law in toposes I
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Quasitoposes as elementary quotient completions
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2021)

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