On the public citation graph

On clubs and doctrines

0 signed · 67 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/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/bfb0059556openalex-snapshot

Many-variable functorial calculus. I.

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/bfb0059559openalex-snapshot

A cut-elimination theorem

inferredcites →https://doi.org/10.1007/bfb0059560openalex-snapshot

A new result of coherence for distributivity

inferredcites →https://doi.org/10.1007/bfb0060438openalex-snapshot

On closed categories of functors

inferredcites →https://doi.org/10.1007/bfb0063101openalex-snapshot

Review of the elements of 2-categories

inferredcites →https://doi.org/10.1007/bfb0063106openalex-snapshot

Coherence theorems for lax algebras and for distributive laws

inferredcites →https://doi.org/10.1007/bfb0081965openalex-snapshot

The categorical comprehension scheme

inferredcites →https://doi.org/10.1007/bfb0083085openalex-snapshot

Ordinal sums and equational doctrines

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

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-61739-6_53openalex-snapshot

Abstract cofibered domains: Application to the alias analysis of untyped programs

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-4615-7831-4_26openalex-snapshot

Saunders Mac Lane and Category Theory

inferred← citeshttps://doi.org/10.1007/978-3-642-54789-8_19openalex-snapshot

Chasing Diagrams in Cryptography

inferred← citeshttps://doi.org/10.1007/bf00880041openalex-snapshot

Fibrations and partial products in a 2-category

inferred← citeshttps://doi.org/10.1007/bfb0063106openalex-snapshot

Coherence theorems for lax algebras and for distributive laws

inferred← citeshttps://doi.org/10.1007/bfb0072514openalex-snapshot

Foncteurs analytiques et espèces de structures

inferred← citeshttps://doi.org/10.1007/bfb0083832openalex-snapshot

Homotopy equivalences in 2-categories

inferred← citeshttps://doi.org/10.1007/bfb0084235openalex-snapshot

An introduction to Tannaka duality and quantum groups

inferred← citeshttps://doi.org/10.1007/s00029-013-0133-7openalex-snapshot

Character sheaves on unipotent groups in positive characteristic: foundations

inferred← citeshttps://doi.org/10.1007/s00233-004-0162-9openalex-snapshot

Wreath Product of Set-Valued Functors and Tensor Multiplication

inferred← citeshttps://doi.org/10.1007/s10485-005-9000-9openalex-snapshot

Operads within Monoidal Pseudo Algebras

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.1016/0021-8693(80)90130-1openalex-snapshot

A Krohn-Rhodes Theorem for 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(89)90113-8openalex-snapshot

A general coherence result

inferred← citeshttps://doi.org/10.1016/0022-4049(89)90160-6openalex-snapshot

Two-dimensional monad theory

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.2013.11.007openalex-snapshot

Two-dimensional monadicity

inferred← citeshttps://doi.org/10.1016/j.aim.2015.11.024openalex-snapshot

A Mackey-functor theoretic interpretation of biset functors

inferred← citeshttps://doi.org/10.1016/j.entcs.2007.02.024openalex-snapshot

Abstract Syntax: Substitution and Binders

inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.083openalex-snapshot

Monoidal Indeterminates and Categories of Possible Worlds

inferred← citeshttps://doi.org/10.1016/j.jalgebra.2018.02.039openalex-snapshot

Skew monoidal categories and skew multicategories

inferred← citeshttps://doi.org/10.1016/j.jpaa.2017.12.006openalex-snapshot

Free skew monoidal categories

inferred← citeshttps://doi.org/10.1016/j.tcs.2012.01.001openalex-snapshot

Monoidal indeterminates and categories of possible worlds

inferred← citeshttps://doi.org/10.1016/s0022-4049(01)00048-2openalex-snapshot

Categories enriched on two sides

inferred← citeshttps://doi.org/10.1017/s0960129512000047openalex-snapshot

A new description of orthogonal bases

inferred← citeshttps://doi.org/10.1017/s0960129513000479openalex-snapshot

Database queries and constraints via lifting problems

inferred← citeshttps://doi.org/10.1017/s1446788700018929openalex-snapshot

Note on monoidal monads

inferred← citeshttps://doi.org/10.1023/a:1024186923002openalex-snapshot

Localizations of Transfors

inferred← citeshttps://doi.org/10.1080/00927878208822794openalex-snapshot

First quadrant spectral sequences in algebraic k-theory via homotopy colimits

inferred← citeshttps://doi.org/10.1080/16073606.1996.9631996openalex-snapshot

FUNCTORIAL PROPERTIES OF THE HOPF INVARIANT I

inferred← citeshttps://doi.org/10.1090/crmp/053/05openalex-snapshot

The dialectica monad and its cousins

inferred← citeshttps://doi.org/10.1112/jlms/jdm096openalex-snapshot

The cartesian closed bicategory of generalised species of structures

inferred← citeshttps://doi.org/10.1515/tmj-2016-0006openalex-snapshot

Algebraic Kan extensions along morphisms of internal algebra classifiers

inferred← citeshttps://doi.org/10.4310/hha.2006.v8.n1.a2openalex-snapshot

Modelling fundamental 2-categories for directed homotopy

inferred← citeshttps://doi.org/10.48550/arxiv.0705.4334openalex-snapshot

Coherence without unique normal forms

inferred← citeshttps://doi.org/10.48550/arxiv.1212.5123openalex-snapshot

Two dimensional monadicity

inferred← citeshttps://doi.org/10.48550/arxiv.1411.3038openalex-snapshot

Generalization of Algebraic Operations via Enrichment

inferred← citeshttps://doi.org/10.48550/arxiv.1506.04317openalex-snapshot

Polynomial and Analytic Functors and Monads, revisited

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.1712.06469openalex-snapshot

$\infty$-Operads as Analytic Monads

inferred← citeshttps://doi.org/10.48550/arxiv.1903.03890openalex-snapshot

Polynomials as spans

inferred← citeshttps://doi.org/10.5287/ora-4rearmrodopenalex-snapshot

Types for Quantum Computing

inferred← citeshttps://doi.org/10.70675/8d194098z0b4dz4aadz91d5z7a58b57d79eeopenalex-snapshot

Propriétés algébriques et combinatoires des espaces topologiques finis

inferred← citeshttps://doi.org/10.70930/tac/afnu6kdoopenalex-snapshot

Operads in Higher-Dimensional Category Theory

inferred← citeshttps://doi.org/10.70930/tac/b9u5z003openalex-snapshot

Pointwise Kan extensions along 2-fibrations and the 2-category of elements

inferred← citeshttps://doi.org/10.70930/tac/du5o6klzopenalex-snapshot

Polynomials in categories with pullbacks

inferred← citeshttps://doi.org/10.70930/tac/pmzqeksdopenalex-snapshot

Symmetric monoidal categories model all connective spectra

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.