:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	de Brecht, Matthew
Formato:	Preprint
Publicado:	2026
Materias:	Logic Category Theory
Acceso en línea:	https://arxiv.org/abs/2604.27466
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Categorifying computable reducibilities
por: Trotta, Davide, et al.
Publicado: (2022)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
por: Spadetto, Matteo
Publicado: (2023)

Topological Dualities for Modal Algebras
por: Collinson, Matthew
Publicado: (2026)

Topologically valued transition structures
por: Collinson, Matthew
Publicado: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
por: de Jong, Tom, et al.
Publicado: (2026)

A constructive approach to the double-categorical small object argument
por: Berg, Benno van den, et al.
Publicado: (2025)

From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions
por: Zuluaga, William, et al.
Publicado: (2026)

A monoidal category of dependently sorted algebraic theories I: syntax
por: Almeida, Daniel
Publicado: (2025)

Reflecting compact $T_1$-spaces into bounded distributive lattices
por: Gehrke, Mai, et al.
Publicado: (2024)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)

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

Monoidal categories graded by partial commutative monoids
por: Earnshaw, Matthew, et al.
Publicado: (2026)

Resourceful Traces for Commuting Processes
por: Earnshaw, Matthew, et al.
Publicado: (2025)

What can Topology tell us about Logical Complexity?
por: Kihara, Takayuki, et al.
Publicado: (2026)

Condensed Sets and the Solovay Model
por: Bannister, Nathaniel, et al.
Publicado: (2026)

Localic Relations with Open Cones
por: van der Schaaf, Nesta
Publicado: (2026)

Canonical Extensions of Quantale-Enriched Categories
por: Kurz, Alexander, et al.
Publicado: (2026)

Various topos of types constructions
por: Kanalas, Kristóf
Publicado: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
por: Reizi, Higuchi Joaquim
Publicado: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
por: Rogozin, Daniel
Publicado: (2025)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
por: Abramsky, Samson, et al.
Publicado: (2022)

Pure maps are strict monomorphisms
por: Kanalas, Kristóf
Publicado: (2024)

Weak saturation and weak amalgamation property
por: Di Liberti, Ivan
Publicado: (2017)

Stable first order theories as simplicial profinite sets
por: Gavrilovich, Misha
Publicado: (2025)

De Morgan's law in toposes I
por: Caramello, Olivia, et al.
Publicado: (2025)

Formal Model Theory & Higher Topology
por: Di Liberti, Ivan
Publicado: (2020)

Quasitoposes as elementary quotient completions
por: Maietti, Maria Emilia, et al.
Publicado: (2021)

Adding a constant and an axiom to a doctrine
por: Guffanti, Francesca
Publicado: (2023)

Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
por: Russo, Ciro
Publicado: (2025)

Duality for coalgebras for Vietoris and monadicity
por: Abbadini, Marco, et al.
Publicado: (2023)

The category of propositional deductive systems
por: Russo, Ciro
Publicado: (2025)

Positively closed $Sh(B)$-valued models
por: Kanalas, Kristóf
Publicado: (2024)

Rich doctrines and Henkin's Theorem
por: Guffanti, Francesca
Publicado: (2023)

Universal categories
por: Schoutens, Hans
Publicado: (2025)

Displayed Type Theory and Semi-Simplicial Types
por: Kolomatskaia, Astra, et al.
Publicado: (2023)

Finite coproducts, coregularity and coexactness for profinite interior algebras
por: De Berardinis, Matteo
Publicado: (2025)

Classical Set Theory: Theory of Sets and Classes
por: Banakh, Taras
Publicado: (2020)

Unstable independence from the categorical point of view
por: Kamsma, Mark, et al.
Publicado: (2023)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
por: Forsman, David
Publicado: (2024)

Gabriel-Ulmer Duality for Topoi, An Introduction
por: Pasqualone, Federica
Publicado: (2024)