Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2509.20930 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Type Theory with a Tiny Object
by: Riley, Mitchell
Published: (2024)
by: Riley, Mitchell
Published: (2024)
Learners' Languages
by: Spivak, David I.
Published: (2021)
by: Spivak, David I.
Published: (2021)
Cohomology of Small Cartesian Closed Categories
by: Ikebuchi, Mirai
Published: (2025)
by: Ikebuchi, Mirai
Published: (2025)
Overlap Algebras as Almost Discrete Locales
by: Ciraulo, Francesco
Published: (2016)
by: Ciraulo, Francesco
Published: (2016)
Free differential modalities
by: Garner, Richard, et al.
Published: (2025)
by: Garner, Richard, et al.
Published: (2025)
Compact generators of the contraderived category of contramodules
by: Positselski, Leonid, et al.
Published: (2024)
by: Positselski, Leonid, et al.
Published: (2024)
Free monad sequences and extension operations
by: Sattler, Christian
Published: (2025)
by: Sattler, Christian
Published: (2025)
Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad
by: Libkind, Sophie, et al.
Published: (2024)
by: Libkind, Sophie, et al.
Published: (2024)
Compact Matrix Quantum Group Equivariant Neural Networks
by: Pearce-Crump, Edward
Published: (2023)
by: Pearce-Crump, Edward
Published: (2023)
Quantum Sets of Compact Quantum Groups
by: Ghosh, Mainak
Published: (2024)
by: Ghosh, Mainak
Published: (2024)
Almost mathematics, Persistence module, and Tamarkin category
by: Kuwagaki, Tatsuki, et al.
Published: (2025)
by: Kuwagaki, Tatsuki, et al.
Published: (2025)
Free Quantum Computing
by: Carette, Jacques, et al.
Published: (2026)
by: Carette, Jacques, et al.
Published: (2026)
String Diagrams for Closed Symmetric Monoidal Categories
by: Reader, Callum, et al.
Published: (2025)
by: Reader, Callum, et al.
Published: (2025)
Free algebras via monoidal envelopes
by: Blans, Max, et al.
Published: (2026)
by: Blans, Max, et al.
Published: (2026)
Free and co-free constructions for Hopf categories
by: Großkopf, Paul, et al.
Published: (2023)
by: Großkopf, Paul, et al.
Published: (2023)
Context-Free Languages of String Diagrams
by: Earnshaw, Matt, et al.
Published: (2024)
by: Earnshaw, Matt, et al.
Published: (2024)
Free fibrations, lax colimits and Kan extensions for $(\infty,2)$-categories
by: Abellán, Fernando, et al.
Published: (2026)
by: Abellán, Fernando, et al.
Published: (2026)
Free rigid commutative algebras
by: Ramzi, Maxime
Published: (2026)
by: Ramzi, Maxime
Published: (2026)
Protocol Choice and Iteration for the Free Cornering
by: Nester, Chad, et al.
Published: (2023)
by: Nester, Chad, et al.
Published: (2023)
Dynamics and Coherence for the Free Cornering with Protocol Choice
by: Nester, Chad, et al.
Published: (2025)
by: Nester, Chad, et al.
Published: (2025)
Double Glueing over Free Exponential: with Measure Theoretic Applications
by: Hamano, Masahiro
Published: (2021)
by: Hamano, Masahiro
Published: (2021)
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
by: Barile, Adriano, et al.
Published: (2024)
by: Barile, Adriano, et al.
Published: (2024)
Effectivity of Generalized Double $\infty$-Categories
by: Loubaton, Félix
Published: (2025)
by: Loubaton, Félix
Published: (2025)
On unification of categories associated with F -transforms and fuzzy pretopological spaces as Qua category
by: Tripathi, Abha, et al.
Published: (2025)
by: Tripathi, Abha, et al.
Published: (2025)
Equivalence via surjections
by: Leinster, Tom
Published: (2025)
by: Leinster, Tom
Published: (2025)
Monobricks in extriangulated length categories
by: Mei, Yuxia, et al.
Published: (2025)
by: Mei, Yuxia, et al.
Published: (2025)
Pita factorisation in operadic categories
by: Batanin, Michael, et al.
Published: (2025)
by: Batanin, Michael, et al.
Published: (2025)
Torsion Theories in a Non-pointed Context
by: Cappelletti, Andrea, et al.
Published: (2025)
by: Cappelletti, Andrea, et al.
Published: (2025)
Skew monoidal structures on actegories
by: Procházková, Pavla
Published: (2025)
by: Procházková, Pavla
Published: (2025)
Quasi-resolving subcategories and dimensions in extriangulated categories
by: He, Zhenggang, et al.
Published: (2025)
by: He, Zhenggang, et al.
Published: (2025)
A causal Markov category with Kolmogorov products
by: Moss, Sean, et al.
Published: (2025)
by: Moss, Sean, et al.
Published: (2025)
On the Cartesian closedness of [0,1]-Cat and some of its subcategories
by: Lai, Hongliang, et al.
Published: (2025)
by: Lai, Hongliang, et al.
Published: (2025)
Motifs and Emergent Feedback in Labeled Graphs
by: Baez, John C., et al.
Published: (2025)
by: Baez, John C., et al.
Published: (2025)
Extranatural transformations, adjunctions of two variables and conjugation
by: Willerton, Simon
Published: (2025)
by: Willerton, Simon
Published: (2025)
On biadjoint triangles with additional modifications
by: Merlin, Gabriel
Published: (2025)
by: Merlin, Gabriel
Published: (2025)
Extriangulated factorization systems, $s$-torsion pairs and recollements
by: Xu, Yan, et al.
Published: (2025)
by: Xu, Yan, et al.
Published: (2025)
Enriched bi(co)ends
by: Carissimi, Nicola
Published: (2025)
by: Carissimi, Nicola
Published: (2025)
On enriched terms and 2-categorical universal algebra
by: Tendas, Giacomo
Published: (2025)
by: Tendas, Giacomo
Published: (2025)
Towards a double operadic theory of systems
by: Libkind, Sophie, et al.
Published: (2025)
by: Libkind, Sophie, et al.
Published: (2025)
Colored Petri Nets are Monoidal Double Functors
by: Master, Jade, et al.
Published: (2025)
by: Master, Jade, et al.
Published: (2025)