Cover Image

Double-functorial representation of regular monoidal structures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Siqueira, José
Format:	Preprint
Published:	2025
Subjects:	Category Theory Logic 03G30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

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

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

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)

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

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

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

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

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

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

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

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

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

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

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

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

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

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

Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)

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

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

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

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

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

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

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

Constructive reflectivity principles for regular theories
by: Forssell, Henrik, et al.
Published: (2016)

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

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

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

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

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

Cartesian double theories: A double-categorical framework for categorical doctrines
by: Lambert, Michael, et al.
Published: (2023)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

On topological groupoids that represent theories
by: Wrigley, Joshua
Published: (2023)

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