Cover Image

Profunctorial algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aristote, Quentin, Tarantino, Umberto
Format:	Preprint
Published:	2026
Subjects:	Category Theory Logic in Computer Science 18N15 (Primary) 18C10, 03G30, 03C20, 54D80 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Ultracategories via Kan extensions of relative monads
by: Tarantino, Umberto, et al.
Published: (2025)

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

Extending conceptual completeness via virtual ultracategories
by: Saadia, Gabriel
Published: (2025)

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

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

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

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

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

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

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

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

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

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

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

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

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Ultracategories as colax algebras for a pseudo-monad on CAT
by: Hamad, Ali
Published: (2025)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)

Self-divisible ultrafilters and congruences in $β\mathbb{Z}$
by: Di Nasso, Mauro, et al.
Published: (2023)

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

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

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

The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)

Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

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

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

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

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

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

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

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

Extending orders to types
by: Baglini, Lorenzo Luperi, et al.
Published: (2025)

Exponentiable Virtual Double Categories and Representability of Exponentials
by: Carlson, Kevin D., et al.
Published: (2026)

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

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