On the public citation graph
Coherence for distributivity
0 signed · 113 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4615-7831-4_19openalex-snapshot
Natural Associativity and Commutativity
inferredcites →https://doi.org/10.1016/0021-8693(64)90018-3openalex-snapshot
On MacLane's conditions for coherence of natural associativities, commutativities, etc.
inferredcites →https://doi.org/10.1016/0022-4049(71)90013-2openalex-snapshot
Coherence in closed categories
inferredcites →https://doi.org/10.1090/s0002-9904-1972-12925-2openalex-snapshot
Coherence for categories with associativity, commutativity and distributivity
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19880340506openalex-snapshot
Intensional Equality in Categories With Structure and Coherence Problems
inferred← citeshttps://doi.org/10.1006/aima.1997.1617openalex-snapshot
Higher-Dimensional Algebra II. 2-Hilbert Spaces
inferred← citeshttps://doi.org/10.1006/aima.1998.1822openalex-snapshot
Structures and Diagrammatics of Four Dimensional Topological Lattice Field Theories
inferred← citeshttps://doi.org/10.1007/978-1-4615-7831-4_26openalex-snapshot
Saunders Mac Lane and Category Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-33636-3_13openalex-snapshot
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
inferred← citeshttps://doi.org/10.1007/978-3-031-62076-8_2openalex-snapshot
Compositional Reversible Computation
inferred← citeshttps://doi.org/10.1007/978-3-031-90897-2_15openalex-snapshot
A Diagrammatic Algebra for Program Logics
inferred← citeshttps://doi.org/10.1007/978-3-032-22730-0_5openalex-snapshot
Tapes as Stochastic Matrices of String Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-319-89366-2_6openalex-snapshot
A Double Category Theoretic Analysis of Graded Linear Exponential Comonads
inferred← citeshttps://doi.org/10.1007/978-3-319-99498-7_24openalex-snapshot
A Library of Reversible Circuit Transformations (Work in Progress)
inferred← citeshttps://doi.org/10.1007/978-3-642-38164-5_13openalex-snapshot
Presheaf Models of Quantum Computation: An Outline
inferred← citeshttps://doi.org/10.1007/978-3-642-38164-5_9openalex-snapshot
Quantum Speedup and Categorical Distributivity
inferred← citeshttps://doi.org/10.1007/978-3-642-54833-8_19openalex-snapshot
A Core Quantitative Coeffect Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-56478-9_3openalex-snapshot
From Finite Sets to Feynman Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-662-49498-1_6openalex-snapshot
Computing with Semirings and Weak Rig Groupoids
inferred← citeshttps://doi.org/10.1007/bfb0059560openalex-snapshot
A new result of coherence for distributivity
inferred← citeshttps://doi.org/10.1007/bfb0063106openalex-snapshot
Coherence theorems for lax algebras and for distributive laws
inferred← citeshttps://doi.org/10.1007/bfb0069233openalex-snapshot
The quillen-grothendieck construction and extensions of pairings
inferred← citeshttps://doi.org/10.1007/s00236-018-0314-0openalex-snapshot
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
inferred← citeshttps://doi.org/10.1007/s10485-025-09803-5openalex-snapshot
Dagger Categories and the Complex Numbers: Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions
inferred← citeshttps://doi.org/10.1007/s10485-026-09880-0openalex-snapshot
Cartesian Linearly Distributive Categories: Revisited
inferred← citeshttps://doi.org/10.1007/s40062-013-0038-3openalex-snapshot
Cohomological classification of braided Ann-categories
inferred← citeshttps://doi.org/10.1007/s40863-018-0088-xopenalex-snapshot
On the combinatorics of the universal enveloping algebra $$\widehat{U}_h({{\mathfrak {sl}}}_2)$$ U ^ h ( sl 2 )
inferred← citeshttps://doi.org/10.1016/0022-4049(87)90061-2openalex-snapshot
On natural transformations of distinguished functors and their superpositions in certain closed categories
inferred← citeshttps://doi.org/10.1016/0022-4049(90)90109-uopenalex-snapshot
The Hilbert basis theorem revisited
inferred← citeshttps://doi.org/10.1016/0022-4049(95)00159-xopenalex-snapshot
Natural deduction and coherence for weakly distributive categories
inferred← citeshttps://doi.org/10.1016/bs.adcom.2021.11.009openalex-snapshot
Embracing the laws of physics: Three reversible models of computation
inferred← citeshttps://doi.org/10.1016/j.aim.2004.01.002openalex-snapshot
Objects of categories as complex numbers
inferred← citeshttps://doi.org/10.1016/j.aim.2005.07.007openalex-snapshot
Rings, modules, and algebras in infinite loop space theory
inferred← citeshttps://doi.org/10.1016/j.aim.2007.05.001openalex-snapshot
Laplaza sets, or how to select coherence diagrams for pseudo algebras
inferred← citeshttps://doi.org/10.1016/j.aim.2023.108865openalex-snapshot
Multiplicative equivariant K-theory and the Barratt-Priddy-Quillen theorem
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.018openalex-snapshot
From Reversible to Irreversible Computations
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.11.009openalex-snapshot
Reversible Effects as Inverse Arrows
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.06.004openalex-snapshot
A divertimento on MonadPlus and nondeterminism
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.08.003openalex-snapshot
Join inverse categories and reversible recursion
inferred← citeshttps://doi.org/10.1016/j.jpaa.2021.106738openalex-snapshot
The groupoid of finite sets is biinitial in the 2-category of rig categories
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00169-xopenalex-snapshot
Categories with sums and right distributive tensor product
inferred← citeshttps://doi.org/10.1017/9781108917278openalex-snapshot
Equivariant Stable Homotopy Theory and the Kervaire Invariant Problem
inferred← citeshttps://doi.org/10.1017/cbo9780511526398.005openalex-snapshot
Two-vector bundles and forms of elliptic cohomology
inferred← citeshttps://doi.org/10.1017/s0960129520000055openalex-snapshot
Witness algebra and anyon braiding
inferred← citeshttps://doi.org/10.1063/1.1339830openalex-snapshot
Diagram projection rules for recoupling diagrams in the Racah–Wigner category
inferred← citeshttps://doi.org/10.1090/s0002-9904-1977-14318-8openalex-snapshot
Infinite loop space theory
inferred← citeshttps://doi.org/10.1090/s0002-9947-1977-0444740-9openalex-snapshot
Coherence in Nonmonoidal Closed Categories
inferred← citeshttps://doi.org/10.1112/blms.13010openalex-snapshot
Axioms for the category of Hilbert spaces and linear contractions
inferred← citeshttps://doi.org/10.1112/plms/pdl010openalex-snapshot
Witt vectors and equivariant ring spectra applied to cobordism
inferred← citeshttps://doi.org/10.1134/s0012266107110146openalex-snapshot
Two lax categorifications of Kalman algebras and the category of minimization heuristics
inferred← citeshttps://doi.org/10.1142/s0218216599000109openalex-snapshot
ON ALGEBRAIC STRUCTURES IMPLICIT IN TOPOLOGICAL QUANTUM FIELD THEORIES
inferred← citeshttps://doi.org/10.1142/s1793557110000507openalex-snapshot
ON THE BRAIDING OF AN ANN-CATEGORY
inferred← citeshttps://doi.org/10.1145/3498667openalex-snapshot
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages
inferred← citeshttps://doi.org/10.1145/3571257openalex-snapshot
Deconstructing the Calculus of Relations with Tape Diagrams
inferred← citeshttps://doi.org/10.1145/3632861openalex-snapshot
With a Few Square Roots, Quantum Computing Is as Easy as Pi
inferred← citeshttps://doi.org/10.20381/ruor-20066openalex-snapshot
Categorical models of computation: Partially traced categories and presheaf models of quantum computation
inferred← citeshttps://doi.org/10.2140/agt.2010.10.315openalex-snapshot
An involution on theK–theory of bimonoidal categories with anti-involution
inferred← citeshttps://doi.org/10.2140/agt.2012.12.307openalex-snapshot
Spectra associated to symmetric monoidal bicategories
inferred← citeshttps://doi.org/10.2140/agt.2015.15.3107openalex-snapshot
Universality of multiplicative infinite loop space machines
inferred← citeshttps://doi.org/10.2140/akt.2019.4.1openalex-snapshot
Segal operations in the algebraic K-theory of topological spaces
inferred← citeshttps://doi.org/10.2140/gtm.2009.16.283openalex-snapshot
The construction of E∞ring spaces from bipermutative categories
inferred← citeshttps://doi.org/10.2140/gtm.2009.16.285openalex-snapshot
The construction of E∞ring spaces from bipermutative categories
inferred← citeshttps://doi.org/10.25911/5d5e7194e7f6aopenalex-snapshot
Coherence for rewriting 2-theories : general theorems with applications to presentations of Higman-Thompson groups and iterated monoidal categories
inferred← citeshttps://doi.org/10.32917/hmj/1206134749openalex-snapshot
Delooping symmetric monoidal categories
inferred← citeshttps://doi.org/10.3390/math10040590openalex-snapshot
Augmented Simplicial Combinatorics through Category Theory: Cones, Suspensions and Joins
inferred← citeshttps://doi.org/10.4007/annals.2016.184.1.1openalex-snapshot
On the nonexistence of elements of Kervaire invariant one
inferred← citeshttps://doi.org/10.4134/ckms.2010.25.4.523openalex-snapshot
RELATION BETWEEN ANN-CATEGORIES AND RING CATEGORIES
inferred← citeshttps://doi.org/10.4204/eptcs.287.12openalex-snapshot
Universal Properties in Quantum Theory
inferred← citeshttps://doi.org/10.4204/eptcs.394.11openalex-snapshot
Universal Properties of Partial Quantum Maps
inferred← citeshttps://doi.org/10.46298/lmcs-21(3:7)2025openalex-snapshot
Rewriting techniques for relative coherence
inferred← citeshttps://doi.org/10.48550/arxiv.0705.4334openalex-snapshot
Coherence without unique normal forms
inferred← citeshttps://doi.org/10.48550/arxiv.0708.3308openalex-snapshot
Structure of Ann-categories and Mac Lane - Shukla cohomology
inferred← citeshttps://doi.org/10.48550/arxiv.0709.3091openalex-snapshot
Derived Algebraic Geometry IV: Deformation Theory
inferred← citeshttps://doi.org/10.48550/arxiv.0905.0459openalex-snapshot
Derived Algebraic Geometry V: Structured Spaces
inferred← citeshttps://doi.org/10.48550/arxiv.0905.3156openalex-snapshot
From fibered symmetric bimonoidal categories to symmetric spectra
inferred← citeshttps://doi.org/10.48550/arxiv.1002.0879openalex-snapshot
Coherence for Categorified Operadic Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1007.4138openalex-snapshot
On abelian 2-categories and derived 2-functors
inferred← citeshttps://doi.org/10.48550/arxiv.1105.5187openalex-snapshot
Cohomological Classification of Ann-categories
inferred← citeshttps://doi.org/10.48550/arxiv.1303.3025openalex-snapshot
Quantum Speedup and Categorical Distributivity
inferred← citeshttps://doi.org/10.48550/arxiv.1309.0361openalex-snapshot
Girard's $!()$ as a reversible fixed-point operator
inferred← citeshttps://doi.org/10.48550/arxiv.1501.07592openalex-snapshot
Stacks of Ann-Categories and their morphisms
inferred← citeshttps://doi.org/10.48550/arxiv.1709.06174openalex-snapshot
Categorical Structures on Bundle Gerbes and Higher Geometric Prequantisation
inferred← citeshttps://doi.org/10.48550/arxiv.1807.04470openalex-snapshot
On Burnside Theory for groupoids
inferred← citeshttps://doi.org/10.48550/arxiv.1811.03678openalex-snapshot
Embracing the Laws of Physics: Three Reversible Models of Computation
inferred← citeshttps://doi.org/10.48550/arxiv.1910.08757openalex-snapshot
Endomorphisms of the symmetric 2-rig of finite sets
inferred← citeshttps://doi.org/10.48550/arxiv.2010.13361openalex-snapshot
Sheet diagrams for bimonoidal categories
inferred← citeshttps://doi.org/10.48550/arxiv.hep-th/9412025openalex-snapshot
On Algebraic Structures Implicit in Topological Quantum Field Theories
inferred← citeshttps://doi.org/10.48550/arxiv.math/0509674openalex-snapshot
Super, quantum and non-commutative species
inferred← citeshttps://doi.org/10.48550/arxiv.math/0702588openalex-snapshot
Introduction to Ann-categories
inferred← citeshttps://doi.org/10.5802/jep.254openalex-snapshot
Deligne–Riemann–Roch and intersection bundles
inferred← citeshttps://doi.org/10.70675/ed228187zb7bcz417bz9f72z568f96ff5552openalex-snapshot
Combinatorics, homotopy, and embedding of operads
inferred← citeshttps://doi.org/10.70930/tac/1h60kba9openalex-snapshot
Strictification of categories weakly enriched in symmetric monoidal categories
inferred← citeshttps://doi.org/10.70930/tac/sgzc168qopenalex-snapshot
Analytic spectrum of rig categories
inferred← citeshttps://doi.org/10.70930/tac/y4zjoonuopenalex-snapshot
Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings
inferred← citeshttps://doi.org/10.70930/tac/zfm299nwopenalex-snapshot
Stacks of 𝐴𝑛𝑛-Categories and their morphisms
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.