Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
On duality and model theory for polyadic spaces
por: van Gool, Sam, et al.
Publicado: (2022)
por: van Gool, Sam, et al.
Publicado: (2022)
Type Theory for the Working Mathematical Music Theorist
por: Flieder, Drew
Publicado: (2025)
por: Flieder, Drew
Publicado: (2025)
On the theories classified by an étendue
por: Wrigley, Joshua
Publicado: (2025)
por: Wrigley, Joshua
Publicado: (2025)
On logical parameterizations and functional representability in local set theories
por: Hernández, Enrique Ruiz, et al.
Publicado: (2021)
por: Hernández, Enrique Ruiz, et al.
Publicado: (2021)
An Internal Logic of Virtual Double Categories
por: Nasu, Hayato
Publicado: (2024)
por: Nasu, Hayato
Publicado: (2024)
First-order homotopical logic
por: Helfer, Joseph
Publicado: (2019)
por: Helfer, Joseph
Publicado: (2019)
An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
por: Maietti, Maria Emilia, et al.
Publicado: (2025)
por: Maietti, Maria Emilia, et al.
Publicado: (2025)
Algebraic Type Theory, Part 1: Martin-Löf algebras
por: Awodey, Steve
Publicado: (2025)
por: Awodey, Steve
Publicado: (2025)
Higher inductive types in $(\infty,1)$-categories
por: Uemura, Taichi
Publicado: (2024)
por: Uemura, Taichi
Publicado: (2024)
The Simplicial Model of Univalent Foundations (after Voevodsky)
por: Kapulkin, Chris, et al.
Publicado: (2012)
por: Kapulkin, Chris, et al.
Publicado: (2012)
Cofibrant generation of pure monomorphisms in presheaf categories
por: Cox, Sean, et al.
Publicado: (2025)
por: Cox, Sean, et al.
Publicado: (2025)
Existential completions and Herbrand's theorem
por: Wrigley, Joshua L.
Publicado: (2025)
por: Wrigley, Joshua L.
Publicado: (2025)
A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
por: Lambert, Michael J.
Publicado: (2024)
por: Lambert, Michael J.
Publicado: (2024)
On the axiomatisability of the dual of compact ordered spaces
por: Abbadini, Marco
Publicado: (2025)
por: Abbadini, Marco
Publicado: (2025)
Atomic Toposes with Co-Well-Founded Categories of Atoms
por: Marquès, Jérémie
Publicado: (2024)
por: Marquès, Jérémie
Publicado: (2024)
Exponentiable Virtual Double Categories and Representability of Exponentials
por: Carlson, Kevin D., et al.
Publicado: (2026)
por: Carlson, Kevin D., et al.
Publicado: (2026)
Lifting independence along functors
por: Kamsma, Mark, et al.
Publicado: (2024)
por: Kamsma, Mark, et al.
Publicado: (2024)
Categories graded by group homomorphisms
por: Davies, Jonathan
Publicado: (2026)
por: Davies, Jonathan
Publicado: (2026)
$(\infty,1)$-Categorical Comprehension Schemes
por: Stenzel, Raffael
Publicado: (2020)
por: Stenzel, Raffael
Publicado: (2020)
Double Orthogonal Factorization Systems
por: Aberlé, C. B., et al.
Publicado: (2025)
por: Aberlé, C. B., et al.
Publicado: (2025)
Differential bundles as functors from free modules
por: Schwarz, Florian
Publicado: (2025)
por: Schwarz, Florian
Publicado: (2025)
On the computation of the vanishing locus of a finitely presented functor
por: Posur, Sebastian
Publicado: (2025)
por: Posur, Sebastian
Publicado: (2025)
On the Category-Theoretic Independence of Meaning, Object, Name and Existence
por: Inoué, Takao
Publicado: (2026)
por: Inoué, Takao
Publicado: (2026)
Measure theory via Locales
por: Lehner, Georg
Publicado: (2025)
por: Lehner, Georg
Publicado: (2025)
Freely adding one layer of quantifiers to a Boolean doctrine
por: Abbadini, Marco, et al.
Publicado: (2024)
por: Abbadini, Marco, et al.
Publicado: (2024)
Sketches and Classifying Logoi
por: Di Liberti, Ivan, et al.
Publicado: (2024)
por: Di Liberti, Ivan, et al.
Publicado: (2024)
Profunctorial algebras
por: Aristote, Quentin, et al.
Publicado: (2026)
por: Aristote, Quentin, et al.
Publicado: (2026)
From coextensive varieties to the Gaeta topos
por: Zuluaga, William
Publicado: (2022)
por: Zuluaga, William
Publicado: (2022)
Duoidal Structures for Compositional Dependence
por: Shapiro, Brandon T., et al.
Publicado: (2022)
por: Shapiro, Brandon T., et al.
Publicado: (2022)
Quantifier-free formulas and quantifier alternation depth in doctrines
por: Abbadini, Marco, et al.
Publicado: (2024)
por: Abbadini, Marco, et al.
Publicado: (2024)
A 2-categorical analysis of context comprehension
por: Coraglia, Greta, et al.
Publicado: (2024)
por: Coraglia, Greta, et al.
Publicado: (2024)
Categories meet semigroups in various ways
por: Pécsi, Bertalan
Publicado: (2025)
por: Pécsi, Bertalan
Publicado: (2025)
Topoi with enough points
por: Di Liberti, Ivan, et al.
Publicado: (2024)
por: Di Liberti, Ivan, et al.
Publicado: (2024)
The Universal Property of Measure-Theoretic Probability
por: Rischel, Eigil Fjeldgren
Publicado: (2025)
por: Rischel, Eigil Fjeldgren
Publicado: (2025)
Quotients, pure existential completions and arithmetic universes
por: Maietti, Maria Emilia, et al.
Publicado: (2023)
por: Maietti, Maria Emilia, et al.
Publicado: (2023)
Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
por: Kamio, Yuhi, et al.
Publicado: (2024)
por: Kamio, Yuhi, et al.
Publicado: (2024)