On the public citation graph
Many-variable functorial calculus. I.
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.1007/bf01452242openalex-snapshot
Functors between tensored categories
inferredcites →https://doi.org/10.1007/bf01898420openalex-snapshot
Coherence of adjoints, associativities, and identities
inferredcites →https://doi.org/10.1007/bfb0059554openalex-snapshot
Closed coherence for a natural transformation
inferredcites →https://doi.org/10.1007/bfb0081965openalex-snapshot
The categorical comprehension scheme
inferredcites →https://doi.org/10.1016/0021-8693(66)90006-8openalex-snapshot
A generalization of the functorial calculus
inferredcites →https://doi.org/10.1016/0022-4049(71)90013-2openalex-snapshot
Coherence in closed categories
inferredcites →https://doi.org/10.1073/pnas.50.5.869openalex-snapshot
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/1521-3870(200101)47:1<137::aid-malq137>3.0.co;2-fopenalex-snapshot
The Maximality of Cartesian Categories
inferred← citeshttps://doi.org/10.1007/11548133_1openalex-snapshot
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
inferred← citeshttps://doi.org/10.1007/978-1-4419-1524-5_6openalex-snapshot
An Australian Conspectus of Higher Categories
inferred← citeshttps://doi.org/10.1007/978-1-4612-2822-6_8openalex-snapshot
Normal Forms and Cut-Free Proofs as Natural Transformations
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-031-12986-5_12openalex-snapshot
Compositionality as We See It, Everywhere Around Us
inferred← citeshttps://doi.org/10.1007/978-3-031-77779-0_5openalex-snapshot
Lecture Notes on Modular Infinity Operads and Grothendieck-Teichmüller Theory
inferred← citeshttps://doi.org/10.1007/978-3-032-22469-9_16openalex-snapshot
Combinatory Completeness inStructured Multicategories
inferred← citeshttps://doi.org/10.1007/978-3-662-44509-9_6openalex-snapshot
Conflict Compensation, Redundancy and Similarity in DataBases Federation
inferred← citeshttps://doi.org/10.1007/bf01167969openalex-snapshot
Adjunctions in monoidal categories
inferred← citeshttps://doi.org/10.1007/s10485-016-9428-0openalex-snapshot
On Hopf Adjunctions, Hopf Monads and Frobenius-Type Properties
inferred← citeshttps://doi.org/10.1007/s10485-024-09775-yopenalex-snapshot
Generalized Multicategories: Change-of-Base, Embedding, and Descent
inferred← citeshttps://doi.org/10.1007/s10485-026-09868-wopenalex-snapshot
Invertibility and Parity in Symmetric Monoidal Categories
inferred← citeshttps://doi.org/10.1007/s11229-011-9917-5openalex-snapshot
Picturing classical and quantum Bayesian inference
inferred← citeshttps://doi.org/10.1016/0001-8708(89)90018-2openalex-snapshot
Braided compact closed categories with applications to low dimensional topology
inferred← citeshttps://doi.org/10.1016/0001-8708(91)90003-popenalex-snapshot
The geometry of tensor calculus, I
inferred← citeshttps://doi.org/10.1016/0021-8693(78)90160-6openalex-snapshot
Yoneda structures on 2-categories
inferred← citeshttps://doi.org/10.1016/0022-4049(80)90101-2openalex-snapshot
Coherence for compact closed categories
inferred← citeshttps://doi.org/10.1016/0022-4049(80)90116-4openalex-snapshot
Examples of non-monadic structures on categories
inferred← citeshttps://doi.org/10.1016/0022-4049(86)90005-8openalex-snapshot
A universal property of the convolution monoidal structure
inferred← citeshttps://doi.org/10.1016/0022-4049(89)90028-5openalex-snapshot
Nuclearity in the category of complete semilattices
inferred← citeshttps://doi.org/10.1016/0022-4049(89)90057-1openalex-snapshot
The calculus of ends over a base topos
inferred← citeshttps://doi.org/10.1016/0022-4049(89)90160-6openalex-snapshot
Two-dimensional monad theory
inferred← citeshttps://doi.org/10.1016/0022-4049(92)00039-topenalex-snapshot
Tortile tensor categories
inferred← citeshttps://doi.org/10.1016/0022-4049(94)90059-0openalex-snapshot
∗-Autonomous categories of bimodules
inferred← citeshttps://doi.org/10.1016/b978-0-444-52869-8.50010-4openalex-snapshot
Categorical Quantum Mechanics
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.11.062openalex-snapshot
Strongly Compact Closed Semantics
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.015openalex-snapshot
POVMs and Naimark's Theorem Without Sums
inferred← citeshttps://doi.org/10.1016/j.ic.2016.02.007openalex-snapshot
Pictures of complete positivity in arbitrary dimension
inferred← citeshttps://doi.org/10.1016/j.jpaa.2007.05.021openalex-snapshot
Finite products are biproducts in a compact closed category
inferred← citeshttps://doi.org/10.1016/j.jpaa.2021.106689openalex-snapshot
Composing dinatural transformations: Towards a calculus of substitution
inferred← citeshttps://doi.org/10.1016/s1570-7954(00)80027-3openalex-snapshot
Some aspects of categories in computer science
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80567-xopenalex-snapshot
Multiplicative Linear Logics and Fibrations
inferred← citeshttps://doi.org/10.1017/9781009625715openalex-snapshot
An Introduction to String Diagrams for Computer Scientists
inferred← citeshttps://doi.org/10.1017/cbo9780511976971.004openalex-snapshot
A Universe of Processes and Some of Its Guises
inferred← citeshttps://doi.org/10.1017/cbo9781139107075.007openalex-snapshot
Derived categories and Grothendieck duality
inferred← citeshttps://doi.org/10.1017/cbo9781139519687.010openalex-snapshot
The logic of quantum mechanics – Take II
inferred← citeshttps://doi.org/10.1017/cbo9781139519687.011openalex-snapshot
Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
inferred← citeshttps://doi.org/10.1017/s0960129520000274openalex-snapshot
Freely adjoining monoidal duals
inferred← citeshttps://doi.org/10.1023/a:1011270417127openalex-snapshot
A Homotopy Bigroupoid of a Topological Space
inferred← citeshttps://doi.org/10.1023/a:1015186718090openalex-snapshot
Coherence in Substructural Categories
inferred← citeshttps://doi.org/10.1063/1.2158713openalex-snapshot
Kindergarten Quantum Mechanics: Lecture Notes
inferred← citeshttps://doi.org/10.1063/1.5020566openalex-snapshot
A compositional approach to quantum functions
inferred← citeshttps://doi.org/10.1080/00927878208822794openalex-snapshot
First quadrant spectral sequences in algebraic k-theory via homotopy colimits
inferred← citeshttps://doi.org/10.1090/s0002-9947-1977-0444740-9openalex-snapshot
Coherence in Nonmonoidal Closed Categories
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199646296.003.0001openalex-snapshot
An Alternative Gospel of Structure: Order, Composition, Processes
inferred← citeshttps://doi.org/10.1093/oso/9780198739623.001.0001openalex-snapshot
Categories for Quantum Theory
inferred← citeshttps://doi.org/10.1093/oso/9780198739623.003.0001openalex-snapshot
Monoidal Categories
inferred← citeshttps://doi.org/10.1093/oso/9780198739623.003.0004openalex-snapshot
Monoids and Comonoids
inferred← citeshttps://doi.org/10.1093/oso/9780198739623.003.0005openalex-snapshot
Frobenius Structures
inferred← citeshttps://doi.org/10.1093/oso/9780198739623.003.0007openalex-snapshot
Complete Positivity
inferred← citeshttps://doi.org/10.1093/oso/9780198739623.003.0008openalex-snapshot
Monoidal 2-Categories
inferred← citeshttps://doi.org/10.1093/oso/9780198748991.003.0012openalex-snapshot
Categorical Quantum Mechanics I: Causal Quantum Processes
inferred← citeshttps://doi.org/10.1142/s1005386712000855openalex-snapshot
Symmetric Self-adjunctions and Matrices
inferred← citeshttps://doi.org/10.1145/3434290openalex-snapshot
A computational interpretation of compact closed categories: reversible programming with negative and fractional types
inferred← citeshttps://doi.org/10.1201/9781584889007-24openalex-snapshot
Quantum measurements without sums
inferred← citeshttps://doi.org/10.1201/9781584889007.ch16openalex-snapshot
Quantum measurements without sums
inferred← citeshttps://doi.org/10.2307/2586761openalex-snapshot
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
inferred← citeshttps://doi.org/10.3115/v1/w15-23openalex-snapshot
Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015)
inferred← citeshttps://doi.org/10.3115/v1/w15-2306openalex-snapshot
A Frobenius Model of Information Structure in Categorical Compositional Distributional Semantics
inferred← citeshttps://doi.org/10.4204/eptcs.172.17openalex-snapshot
A Study of Entanglement in a Categorical Framework of Natural Language
inferred← citeshttps://doi.org/10.4204/eptcs.266.17openalex-snapshot
Uniqueness of Composition in Quantum Theory and Linguistics
inferred← citeshttps://doi.org/10.4204/eptcs.287.10openalex-snapshot
Symmetric Monoidal Structure with Local Character is a Property
inferred← citeshttps://doi.org/10.4204/eptcs.95openalex-snapshot
Proceedings 8th International Workshop on Quantum Physics and Logic Nijmegen, Netherlands, October 27-29, 2011
inferred← citeshttps://doi.org/10.48550/arxiv.0808.1032openalex-snapshot
Introducing categories to the practicing physicist
inferred← citeshttps://doi.org/10.48550/arxiv.0903.5154openalex-snapshot
Generalised Proof-Nets for Compact Categories with Biproducts
inferred← citeshttps://doi.org/10.48550/arxiv.0910.2931openalex-snapshot
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
inferred← citeshttps://doi.org/10.48550/arxiv.1002.0879openalex-snapshot
Coherence for Categorified Operadic Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1407.1012openalex-snapshot
A note on Frobenius monoidal functors on autonomous categories
inferred← citeshttps://doi.org/10.48550/arxiv.1508.04050openalex-snapshot
Operads, tensor products, and the categorical Borel construction
inferred← citeshttps://doi.org/10.48550/arxiv.2010.05167openalex-snapshot
A Categorical Programming Language
inferred← citeshttps://doi.org/10.48550/arxiv.math/0109021openalex-snapshot
Structures in higher-dimensional category theory
inferred← citeshttps://doi.org/10.48550/arxiv.math/0512102openalex-snapshot
Symmetric Self-Adjunctions: A Justification of Brauer's Representation of Brauer's Algebras
inferred← citeshttps://doi.org/10.48550/arxiv.quant-ph/0510032openalex-snapshot
Kindergarten Quantum Mechanics
inferred← citeshttps://doi.org/10.5117/9789085550242openalex-snapshot
Categorical Quantum Models and Logics
inferred← citeshttps://doi.org/10.5281/zenodo.41698openalex-snapshot
EMOTIONS RECOGNITION BY SPEECH AND FACIAL EXPRESSIONS ANALYSIS
inferred← citeshttps://doi.org/10.5282/edoc.2269openalex-snapshot
Primitive Elemente gezopfter Hopfalgebren und Lie-Algebren in gezopften Kategorien
inferred← citeshttps://doi.org/10.70930/tac/mjajdxbtopenalex-snapshot
Wood fusion and Thiébaud algebraicity
inferred← citeshttps://doi.org/10.70930/tac/mxocppslopenalex-snapshot
A unified framework for generalized multicategories
inferred← citeshttps://doi.org/10.70930/tac/y4zjoonuopenalex-snapshot
Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings
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.