:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Trotta, Davide, Valenti, Manlio, de Paiva, Valeria
Format:	Preprint
Published:	2022
Subjects:	Logic Category Theory
Online Access:	https://arxiv.org/abs/2208.08656
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
by: Bonchi, Filippo, et al.
Published: (2024)

Between Markov and restriction: Two more monads on categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

A note on computable étale spaces
by: de Brecht, Matthew
Published: (2026)

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

A taxonomy of categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

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

An excursion into Dialectica and Differentiation
by: Barbarossa, Davide
Published: (2024)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
by: Castelnovo, Davide, et al.
Published: (2024)

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

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

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

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

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

Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)

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

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

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

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

Pure maps are strict monomorphisms
by: Kanalas, Kristóf
Published: (2024)

Weak saturation and weak amalgamation property
by: Di Liberti, Ivan
Published: (2017)

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

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

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

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

Adding a constant and an axiom to a doctrine
by: Guffanti, Francesca
Published: (2023)

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

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

The category of propositional deductive systems
by: Russo, Ciro
Published: (2025)

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

Rich doctrines and Henkin's Theorem
by: Guffanti, Francesca
Published: (2023)

Universal categories
by: Schoutens, Hans
Published: (2025)

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

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

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

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

Classical Set Theory: Theory of Sets and Classes
by: Banakh, Taras
Published: (2020)

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

Localic Relations with Open Cones
by: van der Schaaf, Nesta
Published: (2026)

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

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