Image de couverture de livre

On logical parameterizations and functional representability in local set theories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hernández, Enrique Ruiz, Solórzano, Pedro
Format:	Preprint
Publié:	2021
Sujets:	Logic Category Theory Primary 18C50, Secondary 03B38, 03F50
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the theories classified by an étendue
par: Wrigley, Joshua
Publié: (2025)

Connectedness through decidable quotients
par: Hernández, Enrique Ruiz, et autres
Publié: (2023)

Algebraic Type Theory, Part 1: Martin-Löf algebras
par: Awodey, Steve
Publié: (2025)

Tininess and right adjoints to exponentials
par: Hernández, Enrique Ruiz, et autres
Publié: (2026)

Type Theory for the Working Mathematical Music Theorist
par: Flieder, Drew
Publié: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
par: Saving, Mark
Publié: (2023)

2-Coherent Internal Models of Homotopical Type Theory
par: Chen, Joshua
Publié: (2025)

Non-Standard Models of Homotopy Type Theory
par: Rasekh, Nima
Publié: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
par: Rasekh, Nima
Publié: (2025)

On duality and model theory for polyadic spaces
par: van Gool, Sam, et autres
Publié: (2022)

Biased elementary doctrines and quotient completions
par: Cioffo, Cipriano Junior
Publié: (2023)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
par: Spadetto, Matteo
Publié: (2025)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
par: Lambert, Michael J.
Publié: (2024)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
par: Contente, Michele, et autres
Publié: (2022)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

The interdefinability of expansions of Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
par: Otten, Daniël, et autres
Publié: (2025)

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
par: Kamio, Yuhi, et autres
Publié: (2024)

Topoi with enough points
par: Di Liberti, Ivan, et autres
Publié: (2024)

Cofibrant generation of pure monomorphisms in presheaf categories
par: Cox, Sean, et autres
Publié: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
par: Awodey, S., et autres
Publié: (2021)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Cardinality in a paraconsistent and paracomplete set theory
par: Oddsson, Hrafn Valtýr
Publié: (2026)

The Simplicial Model of Univalent Foundations (after Voevodsky)
par: Kapulkin, Chris, et autres
Publié: (2012)

Games as recursive coalgebras: A categorical view on the Nim-sum
par: Hora, Ryuya
Publié: (2025)

A vector logic for extensional formal semantics
par: Quigley, Daniel
Publié: (2024)

On an ordinary expansion of first-order Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2023)

Lifting independence along functors
par: Kamsma, Mark, et autres
Publié: (2024)

Density of compressible types and some consequences
par: Bays, Martin, et autres
Publié: (2021)

Long limit models are isomorphic assuming a splitting-like relation
par: Beard, Jeremy
Publié: (2025)

Disjoint non-forking amalgamation in stable AECs
par: Beard, Jeremy
Publié: (2026)

On the $\infty$-topos semantics of homotopy type theory
par: Riehl, Emily
Publié: (2022)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
par: Quigley, Daniel
Publié: (2024)

A characterization of Continuous Logic by using quantale-valued logics
par: Reyes, David, et autres
Publié: (2021)

The Yoneda embedding in simplicial type theory
par: Gratzer, Daniel, et autres
Publié: (2025)

Directed univalence in simplicial homotopy type theory
par: Gratzer, Daniel, et autres
Publié: (2024)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)

A minimalist two-level foundation for constructive mathematics
par: Maietti, Maria Emilia
Publié: (2008)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
par: Maietti, Maria Emilia, et autres
Publié: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
par: Abbadini, Marco, et autres
Publié: (2024)