Buchumschlag

The Internal Logic and Finite Colimits

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Troiani, William
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic 18C20
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Finite approximation of free groups II: the Theorems of Ash, Herwig-Lascar and Ribes-Zalesskii -- revisited and strengthened
von: Auinger, K., et al.
Veröffentlicht: (2025)

Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
von: Otto, Martin
Veröffentlicht: (2014)

On Ramsey degrees, compactness and approximability
von: Mašulović, Dragan
Veröffentlicht: (2024)

An Internal Logic of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2024)

Implicit operations in varieties of commutative monoids
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Colimits of Heyting Algebras through Esakia Duality
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2024)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Finite axiomatizability of the rank and the dimension of a pro-$π$ group
von: Conte, Martina, et al.
Veröffentlicht: (2023)

Profinite rigidity of crystallographic groups arising from Lie theory
von: Carolillo, Davide, et al.
Veröffentlicht: (2025)

Cofibrant generation of pure monomorphisms in presheaf categories
von: Cox, Sean, et al.
Veröffentlicht: (2025)

An unusual example of a universal automorphism group
von: Sullivan, Rob, et al.
Veröffentlicht: (2026)

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

Linear Logic and the Hilbert Scheme
von: Troiani, William, et al.
Veröffentlicht: (2025)

Linear Logic and Quantum Error Correcting Codes
von: Murfet, Daniel, et al.
Veröffentlicht: (2024)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

Extensive embeddings into Fraïssé structures and stationary weak independence relations
von: Kwiatkowska, Aleksandra, et al.
Veröffentlicht: (2025)

Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3
von: d'Elbée, Christian
Veröffentlicht: (2024)

Sharply k-transitive actions on ultrahomogeneous structures
von: González, J. de la Nuez, et al.
Veröffentlicht: (2025)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

Bundles of metric structures as left ultrafunctors
von: Hamad, Ali
Veröffentlicht: (2024)

A characterization of Continuous Logic by using quantale-valued logics
von: Reyes, David, et al.
Veröffentlicht: (2021)

A Note on Los's Theorem for Kripke-Joyal Semantics
von: Aiguier, Marc, et al.
Veröffentlicht: (2024)

Universal homogeneous two-sorted ultrametric spaces
von: Bartoš, Adam, et al.
Veröffentlicht: (2026)

Epimorphisms between finitely generated algebras
von: Carai, Luca, et al.
Veröffentlicht: (2024)

From coextensive varieties to the Gaeta topos
von: Zuluaga, William
Veröffentlicht: (2022)

Conciseness of first-order formulae
von: Conte, Martina, et al.
Veröffentlicht: (2025)

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
von: Inoué, Takao
Veröffentlicht: (2026)

Coslice Colimits in Homotopy Type Theory
von: Hart, Perry, et al.
Veröffentlicht: (2024)

Existential completions and Herbrand's theorem
von: Wrigley, Joshua L.
Veröffentlicht: (2025)

Wilson conjecture for omega-categorical Lie algebras, the case 3-Engel characteristic 5
von: d'Elbée, Christian
Veröffentlicht: (2024)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

Higher inductive types in $(\infty,1)$-categories
von: Uemura, Taichi
Veröffentlicht: (2024)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
von: Mesiti, Luca
Veröffentlicht: (2024)

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
von: Inoué, Takao
Veröffentlicht: (2026)

Profunctorial algebras
von: Aristote, Quentin, et al.
Veröffentlicht: (2026)

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)

Finite Combinatorics and Fragments of Arithmetic
von: Wang, Wei
Veröffentlicht: (2025)

A completion of reduced commutative rings
von: Carai, Luca, et al.
Veröffentlicht: (2026)