:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Zhuravlov, V. M.
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Category Theory Logic 03H05
Accesso online:	https://arxiv.org/abs/2312.00831
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Uniform terms and local elements
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

Extended Contact Algebras: Algebraic analysis and duality theory
di: Gruszczyński, Rafał, et al.
Pubblicazione: (2025)

Non-Standard Models of Homotopy Type Theory
di: Rasekh, Nima
Pubblicazione: (2025)

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

Nonclassical logics and multivariate truth values
di: Zhuravlov, Volodymyr M.
Pubblicazione: (2024)

The Gamified Katětov order is not linear (in fact, very much not so)
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
di: Frey, Jonas
Pubblicazione: (2023)

Double-functorial representation of regular monoidal structures
di: Siqueira, José
Pubblicazione: (2025)

Groupoids, imaginaries and internal covers
di: Hrushovski, Ehud
Pubblicazione: (2006)

Evolution systems: A framework for studying generic mathematical structures
di: Kubiś, Wiesław, et al.
Pubblicazione: (2021)

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

Domains and Classifying Topoi
di: Sterling, Jonathan, et al.
Pubblicazione: (2025)

Duality theory for categorical theories
di: Ye, Lingyuan
Pubblicazione: (2026)

Simultaneously nonvanishing higher derived limits
di: Casarosa, Matteo, et al.
Pubblicazione: (2024)

The free bifibration on a functor
di: Clarke, Bryce, et al.
Pubblicazione: (2025)

A universal characterization of standard Borel spaces
di: Chen, Ruiyuan
Pubblicazione: (2019)

Categorical structure in coherent theory of arithmetic
di: Ye, Lingyuan
Pubblicazione: (2023)

Bochvar algebras: A categorical equivalence and the generated variety
di: Bonzio, Stefano, et al.
Pubblicazione: (2024)

A foundation for deductive mathematics
di: Quinn, Frank
Pubblicazione: (2021)

Coexact completion of profinite Heyting algebras and uniform interpolation
di: Ye, Lingyuan
Pubblicazione: (2026)

The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)

Infinitary combinatorics in condensed math and strong homology
di: Bergfalk, Jeffrey, et al.
Pubblicazione: (2024)

Extensional concepts in intensional type theory, revisited
di: Kapulkin, Chris, et al.
Pubblicazione: (2023)

Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)

Quotients, pure existential completions and arithmetic universes
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2023)

Stack Representation of Finitely Presented Heyting Pretoposes I
di: Ye, Lingyuan
Pubblicazione: (2024)

A category of arrow algebras for modified realizability
di: Tarantino, Umberto
Pubblicazione: (2024)

Hilbert spaces admit no finitary discrete imaginaries
di: Chen, Ruiyuan, et al.
Pubblicazione: (2025)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
di: Gilson, Frank
Pubblicazione: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
di: Saving, Mark
Pubblicazione: (2023)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
di: Inoué, Takao
Pubblicazione: (2026)

Integration in finite terms and exponentially algebraic functions
di: Jaoui, Rémi, et al.
Pubblicazione: (2025)

A Completeness Theorem for Topological Doctrines
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

A $j$-translation with Kripke forcing relation
di: Nakata, Satoshi
Pubblicazione: (2026)

A type-theoretic definition of lax $(\infty,\infty)$-limits
di: Mikhail, Thomas Jan
Pubblicazione: (2024)

On actions and split extensions in varieties of hoops: the case of strong section
di: Mancini, Manuel, et al.
Pubblicazione: (2025)

Connectedness through decidable quotients
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2023)

Lifting independence along functors
di: Kamsma, Mark, et al.
Pubblicazione: (2024)

On logical parameterizations and functional representability in local set theories
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2021)