Cover Image

A layout algorithm for higher-dimensional string diagrams

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tataru, Calin, Vicary, Jamie
Format:	Preprint
Published:	2023
Subjects:	Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The theory and applications of anticolimits
by: Tataru, Calin, et al.
Published: (2024)

Partial orders are the free conservative cocompletion of total orders
by: Tataru, Calin
Published: (2024)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
by: Corbyn, Nathan, et al.
Published: (2024)

Naturality for higher-dimensional path types
by: Benjamin, Thibaut, et al.
Published: (2025)

A Syntax for Strictly Associative and Unital $\infty$-Categories
by: Finster, Eric, et al.
Published: (2023)

Computads for weak $ω$-categories as an inductive type
by: Dean, Christopher J., et al.
Published: (2022)

From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
by: Claeys, Pieter W., et al.
Published: (2023)

Rendering string diagrams recursively
by: Rubio-Madrigal, Celia, et al.
Published: (2024)

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

Coherence for adjunctions in a $3$-category via string diagrams
by: Araújo, Manuel
Published: (2021)

Computads and string diagrams for $n$-sesquicategories
by: Araújo, Manuel
Published: (2022)

String diagrams for Strictification and Coherence
by: Wilson, Paul, et al.
Published: (2022)

Homotopic morphisms and diagram theorems in extriangulated categories
by: Zhang, Chencheng, et al.
Published: (2026)

Existence of groupoid models for diagrams of groupoid correspondences
by: Ko, Joanna, et al.
Published: (2022)

The Bénabou-Roubaud theorem via string diagrams
by: Obradović, Jovana
Published: (2026)

Generalized Reedy diagrams in tribes
by: Cherradi, El Mehdi
Published: (2026)

Representations over diagrams of abelian categories II: Abelian model structures
by: Di, Zhenxing, et al.
Published: (2023)

On diagrams of algebras
by: Hinich, Vladimir
Published: (2023)

Characterizing higher Auslander(-Gorenstein) Algebras
by: Ding, Zhenhui, et al.
Published: (2024)

Two-dimensional transducers
by: Loregian, Fosco
Published: (2025)

Flat principal 2-group bundles and flat string structures
by: Berwick-Evans, Daniel, et al.
Published: (2021)

Faithful linear and relational representations of diagram categories and monoids
by: East, James, et al.
Published: (2026)

Characterizations of standard derived equivalences of diagrams of dg categories and their gluings
by: Asashiba, Hideto, et al.
Published: (2022)

Internal higher topos theory
by: Martini, Louis, et al.
Published: (2023)

The higher algebra of weighted colimits
by: Heine, Hadrian
Published: (2024)

On formality of diagrams of Eilenberg-MacLane spaces
by: Solomadin, Grigory, et al.
Published: (2026)

A higher homological approach to the $q$-characters of representations of quantum affine algebras
by: Casbi, Élie
Published: (2026)

Stable homotopy theory of higher categories
by: Heine, Hadrian
Published: (2026)

A categorical account of the Metropolis-Hastings algorithm
by: Cornish, Rob, et al.
Published: (2026)

Liftings of point-wise finite dimensional persistence modules over local commutative Artinian rings
by: Vélez-Marulanda, José A.
Published: (2024)

Eckmann-Hilton arguments in equivariant higher algebra
by: Stewart, Natalie
Published: (2025)

Colimits and cocompletions in internal higher category theory
by: Martini, Louis, et al.
Published: (2021)

Time complexity for deterministic string machines
by: Cataltepe, Ali, et al.
Published: (2024)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
by: Benjamin, Thibaut, et al.
Published: (2025)

Homology of higher categories
by: Heine, Hadrian
Published: (2025)

Cyclic polytopes, orientals, and correspondences: some aspects of higher Segal spaces
by: Dyckerhoff, Tobias
Published: (2025)

A type-theoretic approach to semistrict higher categories
by: Rice, Alex
Published: (2025)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

Relations between categorifications of higher-dimensional type $A$ cluster combinatorics
by: Gorsky, Mikhail, et al.
Published: (2026)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)