Copertina

On the Category-Theoretic Independence of Meaning, Object, Name and Existence

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Inoué, Takao
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Category Theory Logic in Computer Science Logic Primary 18C05, Secondary 18B25, 03G30, 18F20
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Atomic Toposes with Co-Well-Founded Categories of Atoms
di: Marquès, Jérémie
Pubblicazione: (2024)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
di: Inoué, Takao
Pubblicazione: (2026)

On the theories classified by an étendue
di: Wrigley, Joshua
Pubblicazione: (2025)

Internal 1-topoi in 2-topoi
di: Helfer, Joseph
Pubblicazione: (2024)

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

Existential completions and Herbrand's theorem
di: Wrigley, Joshua L.
Pubblicazione: (2025)

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

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

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

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

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

Freely adding one layer of quantifiers to a Boolean doctrine
di: Abbadini, Marco, et al.
Pubblicazione: (2024)

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

Topoi with enough points
di: Di Liberti, Ivan, et al.
Pubblicazione: (2024)

Logic and Concepts in the 2-category of Topoi
di: Di Liberti, Ivan, et al.
Pubblicazione: (2025)

Sites and Grothendieck toposes: an introduction
di: Caramello, Olivia, et al.
Pubblicazione: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
di: Caramello, Olivia, et al.
Pubblicazione: (2025)

Existentially closed models and locally zero-dimensional toposes
di: Kamsma, Mark, et al.
Pubblicazione: (2024)

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

Profunctorial algebras
di: Aristote, Quentin, et al.
Pubblicazione: (2026)

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

Poset-enriched pretoposes and compact ordered spaces
di: Marquès, Jérémie, et al.
Pubblicazione: (2025)

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
di: Inoué, Takao
Pubblicazione: (2026)

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

Cofibrant generation of pure monomorphisms in presheaf categories
di: Cox, Sean, et al.
Pubblicazione: (2025)

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

On topological groupoids that represent theories
di: Wrigley, Joshua
Pubblicazione: (2023)

Quantifier-free formulas and quantifier alternation depth in doctrines
di: Abbadini, Marco, et al.
Pubblicazione: (2024)

Extending conceptual completeness via virtual ultracategories
di: Saadia, Gabriel
Pubblicazione: (2025)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
di: Mesiti, Luca
Pubblicazione: (2024)

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

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

The elementary theory of the 2-category of small categories
di: Hughes, Calum, et al.
Pubblicazione: (2024)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
di: Hamad, Ali
Pubblicazione: (2025)

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

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2025)

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

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

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