Copertina

Uniform Preorders and Partial Combinatory Algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Frey, Jonas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic Logic in Computer Science Category Theory 03G30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Logical Structure on Inverse Functor Categories
di: Fiore, Marcelo, et al.
Pubblicazione: (2024)

Categorical structure in coherent theory of arithmetic
di: Ye, Lingyuan
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)

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

Impredicative Encodings of (Higher) Inductive Types
di: Awodey, Steve, et al.
Pubblicazione: (2018)

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

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

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

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

Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

A topos for extended Weihrauch degrees
di: Maschio, Samuele, et al.
Pubblicazione: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
di: Samra, Jean Abou, et al.
Pubblicazione: (2026)

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

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)

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

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

Combinatory Completeness in Structured Multicategories
di: Kuzmin, Ivan, et al.
Pubblicazione: (2025)

Diagrammatic Polyhedral Algebra
di: Bonchi, Filippo, et al.
Pubblicazione: (2021)

Diagrammatic Algebra of First Order Logic
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

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)

Gödel coding on fibrations and geminal categories
di: Ikeda, Yuto
Pubblicazione: (2026)

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

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

Kripke-Joyal forcing for type theory and uniform fibrations
di: Awodey, S., et al.
Pubblicazione: (2021)

Arrow algebras
di: Berg, Benno van den, et al.
Pubblicazione: (2023)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
di: Lobbia, Gabriele, et al.
Pubblicazione: (2024)

Comodule Representations of Second-Order Functionals
di: Ahman, Danel, et al.
Pubblicazione: (2024)

A categorical formulation of Kraus' paradox
di: Swan, Andrew W.
Pubblicazione: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
di: Simpson, Alex
Pubblicazione: (2024)

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Coslice Colimits in Homotopy Type Theory
di: Hart, Perry, et al.
Pubblicazione: (2024)