Cover Image

The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kondyrev, Grigory, Spivak, David I.
Format:	Preprint
Published:	2025
Subjects:	Category Theory Programming Languages 18M30, 18M10, 18M35, 18B20, 18M60 D.1.7; D.3.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
by: Hu, Nick, et al.
Published: (2021)

All Concepts are $\mathbb{C}\mathbf{at}^\#$
by: Lynch, Owen, et al.
Published: (2023)

Integration of a categorical operad
by: Trnka, Dominik
Published: (2025)

Exponentiable virtual double categories and presheaves for double categories
by: Arkor, Nathanael
Published: (2025)

A reference for categorical structures on $\mathbf{Poly}$
by: Spivak, David I.
Published: (2022)

Unbiased multicategory theory
by: Pisani, Claudio
Published: (2024)

Kleisli categories, T-categories and internal categories
by: Bourn, Dominique
Published: (2024)

Bivariant operadic categories
by: Markl, Martin
Published: (2024)

The familial nature of enrichment over virtual double categories
by: Fujii, Soichiro, et al.
Published: (2025)

Interactions that reshape the interfaces of the interacting parties
by: Spivak, David I.
Published: (2026)

Tensor structures on fibered categories
by: Terenzi, Luca
Published: (2024)

A finite approach to representable multicategories and related structures
by: Lobbia, Gabriele
Published: (2023)

Extending monoidal structures on fibered categories via embeddings
by: Terenzi, Luca
Published: (2024)

Constructing monoidal structures on fibered categories via factorizations
by: Terenzi, Luca
Published: (2024)

Enriched coalgebras are sometimes comonadic
by: Flynn-Connolly, Oisín
Published: (2026)

Induced structures of operated algebras with applications to multi-Novikov algebras
by: Guo, Li, et al.
Published: (2026)

On Étale Algebras and Bosonic Fusion 2-Categories
by: Xu, Hao
Published: (2024)

Duoidal Structures for Compositional Dependence
by: Shapiro, Brandon T., et al.
Published: (2022)

Higher crossed modules of algebras over an operad
by: Chabertier, Clovis
Published: (2024)

The formal theory of relative monads
by: Arkor, Nathanael, et al.
Published: (2023)

V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases
by: Lucyshyn-Wright, Rory B. B.
Published: (2025)

Affine oriented Frobenius Brauer categories
by: McSween, Alexandra, et al.
Published: (2021)

Yoneda lemma and representation theorem for double categories
by: Fröhlich, Benedikt, et al.
Published: (2024)

Enriched quasi-categories and the templicial homotopy coherent nerve
by: Lowen, Wendy, et al.
Published: (2023)

Towards interpolating categories for equivariant map algebras
by: Samchuck-Schnarch, Saima
Published: (2025)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

Polynomial Functors: A Mathematical Theory of Interaction
by: Niu, Nelson, et al.
Published: (2023)

Unitary anchored planar algebras
by: Henriques, André, et al.
Published: (2023)

Anchored Planar Algebras and 3-Categorical Graphical Calculus
by: Hungar, Brett
Published: (2025)

Lax structures in 2-category theory
by: Štěpán, Miloslav
Published: (2025)

A Compositional Account of Generalized Reversible Computing
by: Chanavat, Clémence, et al.
Published: (2025)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

On the functoriality of universal abelian factorizations
by: Terenzi, Luca
Published: (2024)

Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
by: Langlois-Rémillard, Alexis, et al.
Published: (2026)

A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)

Functorial aggregation
by: Spivak, David I., et al.
Published: (2021)

A semisimple subcategory of Khovanov's Heisenberg category
by: Miller, Sam K.
Published: (2025)

Classifying submodules over monoidal categories
by: Salmasian, Hadi, et al.
Published: (2026)

Presheaves and cocompletions in formal category theory
by: Arkor, Nathanael, et al.
Published: (2026)

Frobenius algebra objects in Temperley-Lieb categories at roots of unity
by: Grant, Joseph, et al.
Published: (2024)