On the public citation graph

Coherence theorems for lax algebras and for distributive laws

https://doi.org/10.1007/bfb0063106
0 signed · 100 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.
Claim with ORCID
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.
See reference health

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/978-3-642-99902-4_22openalex-snapshot
Closed Categories
inferredcites →https://doi.org/10.1007/bf01111838openalex-snapshot
Coequalizers and free triples
inferredcites →https://doi.org/10.1007/bf01220868openalex-snapshot
Monads on symmetric monoidal closed categories
inferredcites →https://doi.org/10.1007/bf01703261openalex-snapshot
Deductive systems and categories
inferredcites →https://doi.org/10.1007/bfb0059146openalex-snapshot
Enriched functor categories
inferredcites →https://doi.org/10.1007/bfb0059554openalex-snapshot
Closed coherence for a natural transformation
inferredcites →https://doi.org/10.1007/bfb0059555openalex-snapshot
Coherence for distributivity
inferredcites →https://doi.org/10.1007/bfb0059557openalex-snapshot
An abstract approach to coherence
inferredcites →https://doi.org/10.1007/bfb0059558openalex-snapshot
Coherence for a closed functor
inferredcites →https://doi.org/10.1007/bfb0059560openalex-snapshot
A new result of coherence for distributivity
inferredcites →https://doi.org/10.1007/bfb0063101openalex-snapshot
Review of the elements of 2-categories
inferredcites →https://doi.org/10.1007/bfb0063102openalex-snapshot
Fibrations and Yoneda's lemma in a 2-category
inferredcites →https://doi.org/10.1007/bfb0063104openalex-snapshot
On clubs and doctrines
inferredcites →https://doi.org/10.1007/bfb0079385openalex-snapshot
Deductive systems and categories II. Standard constructions and closed categories
inferredcites →https://doi.org/10.1007/bfb0083084openalex-snapshot
Distributive laws
inferredcites →https://doi.org/10.1007/bfb0083085openalex-snapshot
Ordinal sums and equational doctrines
inferredcites →https://doi.org/10.1016/0021-8693(69)90076-3openalex-snapshot
On coherent algebras and strict algebras
inferredcites →https://doi.org/10.1016/0022-4049(71)90013-2openalex-snapshot
Coherence in closed categories
inferredcites →https://doi.org/10.1016/0022-4049(72)90016-3openalex-snapshot
Coherence for associativity not an isomorphism
inferredcites →https://doi.org/10.1305/ndjfl/1093891297openalex-snapshot
A categorical equivalence of proofs.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

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-4419-1524-5_4openalex-snapshot
A 2-Categories Companion
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-4471-4393-2openalex-snapshot
The Local Structure of Algebraic K-Theory
inferred← citeshttps://doi.org/10.1007/978-1-4471-4393-2_3openalex-snapshot
Reductions
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-62076-8_2openalex-snapshot
Compositional Reversible Computation
inferred← citeshttps://doi.org/10.1007/978-3-319-40370-0_7openalex-snapshot
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness
inferred← citeshttps://doi.org/10.1007/978-3-642-22944-2_19openalex-snapshot
Coalgebraic Semantics for Derivations in Logic Programming
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/bfb0063104openalex-snapshot
On clubs and doctrines
inferred← citeshttps://doi.org/10.1007/bfb0088093openalex-snapshot
First quadrant spectral sequences in algebraic K-theory
inferred← citeshttps://doi.org/10.1007/s00029-017-0361-3openalex-snapshot
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
inferred← citeshttps://doi.org/10.1007/s10485-010-9243-yopenalex-snapshot
Factorization Systems Induced by Weak Distributive Laws
inferred← citeshttps://doi.org/10.1007/s10485-019-09561-1openalex-snapshot
Cofibrantly Generated Lax Orthogonal Factorisation Systems
inferred← citeshttps://doi.org/10.1007/s10485-019-09567-9openalex-snapshot
Distributive Laws via Admissibility
inferred← citeshttps://doi.org/10.1007/s10485-024-09798-5openalex-snapshot
Presentations of Pseudodistributive Laws
inferred← citeshttps://doi.org/10.1007/s10485-026-09868-wopenalex-snapshot
Invertibility and Parity in Symmetric Monoidal Categories
inferred← citeshttps://doi.org/10.1007/s40062-016-0154-yopenalex-snapshot
Coherence and strictification for self-similarity
inferred← citeshttps://doi.org/10.1016/0022-4049(89)90113-8openalex-snapshot
A general coherence result
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.2011.06.039openalex-snapshot
Pseudo-commutativity of KZ 2-monads
inferred← citeshttps://doi.org/10.1016/j.aim.2017.10.039openalex-snapshot
An embedding theorem for tangent categories
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.11.009openalex-snapshot
Reversible Effects as Inverse Arrows
inferred← citeshttps://doi.org/10.1016/j.fss.2007.06.002openalex-snapshot
Powersets of terms and composite monads
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.jpaa.2004.04.008openalex-snapshot
Distributive laws for pseudomonads II
inferred← citeshttps://doi.org/10.1016/j.jpaa.2012.06.002openalex-snapshot
On semiflexible, flexible and pie algebras
inferred← citeshttps://doi.org/10.1016/j.jpaa.2014.02.018openalex-snapshot
Lawvere theories, finitary monads and Cauchy-completion
inferred← citeshttps://doi.org/10.1016/j.jpaa.2016.09.005openalex-snapshot
A coherence theorem for pseudonatural transformations
inferred← citeshttps://doi.org/10.1016/j.jpaa.2017.12.006openalex-snapshot
Free skew monoidal categories
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)00038-5openalex-snapshot
Beck's theorem for pseudo-monads
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00133-0openalex-snapshot
Pseudo-commutative monads and pseudo-closed 2-categories
inferred← citeshttps://doi.org/10.1016/s0022-4049(97)00070-4openalex-snapshot
Enrichment through variation
inferred← citeshttps://doi.org/10.1016/s0022-4049(99)00063-8openalex-snapshot
A representation result for free cocompletions
inferred← citeshttps://doi.org/10.1016/s1571-0661(03)50012-3openalex-snapshot
Pseudo-distributive Laws
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80910-1openalex-snapshot
Two-dimensional linear algebra
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80963-0openalex-snapshot
Pseudo-commutative Monads
inferred← citeshttps://doi.org/10.1023/b:apcs.0000049311.17100.daopenalex-snapshot
Descent on 2-Fibrations and Strongly 2-Regular 2-Categories
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/logcom/exu026openalex-snapshot
Coalgebraic logic programming: from Semantics to Implementation
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.001.0001openalex-snapshot
2-Dimensional Categories
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.002.0004openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.002.0005openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.002.0007openalex-snapshot
List of Main Facts
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.002.0008openalex-snapshot
List of Notations
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0001openalex-snapshot
Categories
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0002openalex-snapshot
Bicategories and 2-Categories
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0003openalex-snapshot
Pasting Diagrams
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0004openalex-snapshot
Functors, Transformations, and Modifications
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0005openalex-snapshot
Bicategorical Limits and Nerves
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0006openalex-snapshot
Adjunctions and Monads
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0007openalex-snapshot
The Whitehead Theorem for Bicategories
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0008openalex-snapshot
The Yoneda Lemma and Coherence
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0009openalex-snapshot
Grothendieck Fibrations
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0010openalex-snapshot
The Grothendieck Construction
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0011openalex-snapshot
The Tricategory of Bicategories
inferred← citeshttps://doi.org/10.1093/oso/9780198871378.003.0012openalex-snapshot
Further 2-Dimensional Categorical Structures
inferred← citeshttps://doi.org/10.1093/qmathj/haz034openalex-snapshot
SYMMETRIC MONOIDALG-CATEGORIES AND THEIR STRICTIFICATION
inferred← citeshttps://doi.org/10.1112/jlms/jdm096openalex-snapshot
The cartesian closed bicategory of generalised species of structures
inferred← citeshttps://doi.org/10.1139/p02-020openalex-snapshot
The RacahWigner category
inferred← citeshttps://doi.org/10.1145/3498663openalex-snapshot
Quantum information effects
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.4171/dm/950openalex-snapshot
Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
inferred← citeshttps://doi.org/10.48550/arxiv.1112.1448openalex-snapshot
On semiflexible, flexible and pie algebras
inferred← citeshttps://doi.org/10.48550/arxiv.1307.2963openalex-snapshot
Lawvere theories, finitary monads and Cauchy-completion
inferred← citeshttps://doi.org/10.48550/arxiv.1312.6568openalex-snapshot
Coalgebraic Logic Programming: from Semantics to Implementation
inferred← citeshttps://doi.org/10.48550/arxiv.1809.03017openalex-snapshot
Symmetric monoidal G-categories and their strictification
inferred← citeshttps://doi.org/10.48550/arxiv.1903.07030openalex-snapshot
Foundations of Algebraic Theories and Higher Dimensional Categories
inferred← citeshttps://doi.org/10.48550/arxiv.math/0607646openalex-snapshot
Homotopy-theoretic aspects of 2-monads
inferred← citeshttps://doi.org/10.70675/ed228187zb7bcz417bz9f72z568f96ff5552openalex-snapshot
Combinatorics, homotopy, and embedding of operads
inferred← citeshttps://doi.org/10.70930/tac/49rfbbt1openalex-snapshot
On Property-like Structures
inferred← citeshttps://doi.org/10.70930/tac/k5ldrv38openalex-snapshot
Distributive laws for pseudomonads
inferred← citeshttps://doi.org/10.70930/tac/msroyxdcopenalex-snapshot
Compact closed bicategories
inferred← citeshttps://doi.org/10.70930/tac/zu0cf1etopenalex-snapshot
Operads as polynomial 2-monads
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.