:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cangiotti, Nicolò, Linzi, Alessandro, Talotti, Enrico
Format:	Preprint
Published:	2025
Subjects:	Category Theory Quantum Physics 20N20, 18B10, 03G10
Online Access:	https://arxiv.org/abs/2501.14793
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
by: Inoué, Takao
Published: (2026)

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

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

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

Gray (skew) multicategories: double and Gray-categorical cases
by: Femić, Bojana
Published: (2024)

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

A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)

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

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

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

On categories with arbitrary 2-cell structures
by: Martins-Ferreira, Nelson
Published: (2024)

2-stacks over bisites
by: Caviglia, Elena
Published: (2024)

The oplax limit of an enriched category
by: Fujii, Soichiro, et al.
Published: (2022)

Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)

Simplicial Perspectives on (Pseudo) Effect Algebras
by: Lachman, Dominik
Published: (2025)

Injectivity paucity in AB5 categories of oversize chains
by: Chirvasitu, Alexandru
Published: (2026)

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

Higher Witt Groups for 2-Categories I: Centralizers
by: Xu, Hao
Published: (2024)

Grothendieck's theory of fibred categories for monoids
by: Pirashvili, Ilia
Published: (2024)

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

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

Principal 2-bundles and quotient 2-stacks
by: Caviglia, Elena
Published: (2024)

Higher tensor categories and their extensions: notes from the Scottish Talbot On Algebra and Topology
by: Andrade, Diogo, et al.
Published: (2025)

Minimal nondegenerate extensions
by: Johnson-Freyd, Theo, et al.
Published: (2021)

The Classification of Fusion 2-Categories
by: Décoppet, Thibault D., et al.
Published: (2024)

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

Objective Mackey and Tambara functors via parametrized categories
by: Street, Ross
Published: (2025)

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

Homotopy Lie algebras and coherent infinitesimal 2-braidings
by: Kemp, Cameron
Published: (2026)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
by: van Woerkom, Wijnand, et al.
Published: (2024)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

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

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

Projective Geometries and Simple Pointed Matroids as $\mathbb{F}_1$-modules
by: Beardsley, Jonathan, et al.
Published: (2024)

Parametric Distributive Laws: uniform monad composition
by: Perticone, Lorenzo
Published: (2025)

Finite Semisimple Module 2-Categories
by: Décoppet, Thibault D.
Published: (2021)

Stratifying Systems via Nested Family of Torsion Pairs
by: Alvares, Edson Ribeiro, et al.
Published: (2024)

On effective descent $\mathcal V$-functors and familial descent morphisms
by: Prezado, Rui
Published: (2023)