On the public citation graph

An outline of functorial semantics

https://doi.org/10.1007/bfb0083080
0 signed · 72 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-3-642-99902-4_1openalex-snapshot
The Category of Categories as a Foundation for Mathematics
inferredcites →https://doi.org/10.1007/978-3-642-99902-4_3openalex-snapshot
Some Aspects of Equational Categories
inferredcites →https://doi.org/10.1007/bf01162373openalex-snapshot
On the formal definition of categories
inferredcites →https://doi.org/10.1007/bf01396534openalex-snapshot
Homotopy theory in general categories
inferredcites →https://doi.org/10.1007/bfb0083081openalex-snapshot
Applied functorial semantics, II
inferredcites →https://doi.org/10.1017/s0305004100013463openalex-snapshot
On the Structure of Abstract Algebras
inferredcites →https://doi.org/10.1073/pnas.50.5.869openalex-snapshot
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
inferredcites →https://doi.org/10.1073/pnas.52.6.1506openalex-snapshot
AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
inferredcites →https://doi.org/10.1090/s0002-9904-1965-11234-4openalex-snapshot
Categorical algebra
inferredcites →https://doi.org/10.1090/s0002-9939-1965-0177024-4openalex-snapshot
Every Standard Construction is Induced by a Pair of Adjoint Functors
inferredcites →https://doi.org/10.1215/ijm/1255456274openalex-snapshot
Adequate subcategories
inferredcites →https://doi.org/10.1215/ijm/1256068141openalex-snapshot
Adjoint functors and triples
inferredcites →https://doi.org/10.4153/cmb-1966-072-9openalex-snapshot
On Fundamental Constructions and Adjoint Functors

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.202300006openalex-snapshot
Formal Model Theory & Higher Topology
inferred← citeshttps://doi.org/10.1007/11690634_12openalex-snapshot
Presenting Functors by Operations and Equations
inferred← citeshttps://doi.org/10.1007/3-540-55511-0_11openalex-snapshot
HSP type theorems in the category of posets
inferred← citeshttps://doi.org/10.1007/978-1-4899-0021-0openalex-snapshot
Toposes, Triples and Theories
inferred← citeshttps://doi.org/10.1007/978-3-031-21037-2_1openalex-snapshot
An Algebraic Theory for Shared-State Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_12openalex-snapshot
A General Completeness Result in Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-40206-7_9openalex-snapshot
Presenting Distributive Laws
inferred← citeshttps://doi.org/10.1007/978-3-662-49630-5_31openalex-snapshot
Profinite Monads, Profinite Equations, and Reiterman’s Theorem
inferred← citeshttps://doi.org/10.1007/978-94-007-0431-2_14openalex-snapshot
Foundations for Computable Topology
inferred← citeshttps://doi.org/10.1007/bf01236519openalex-snapshot
Functorial semantics and HSP type theorems
inferred← citeshttps://doi.org/10.1007/bf01238674openalex-snapshot
Topologische Algebrenkategorien
inferred← citeshttps://doi.org/10.1007/bfb0066895openalex-snapshot
Toposes are monadic over categories
inferred← citeshttps://doi.org/10.1007/bfb0068492openalex-snapshot
Adequacy in topology and uniform spaces
inferred← citeshttps://doi.org/10.1007/bfb0072310openalex-snapshot
Structure et Semantique Abstraites: Extension a des Categories de Morphismes d'une Paire de Foncteurs Adjoints
inferred← citeshttps://doi.org/10.1007/bfb0079387openalex-snapshot
Absolute coequalizers
inferred← citeshttps://doi.org/10.1007/bfb0080883openalex-snapshot
On topological algebras relative to full and faithful dense functors
inferred← citeshttps://doi.org/10.1007/bfb0081968openalex-snapshot
Relative functorial semantics: Adjointness results
inferred← citeshttps://doi.org/10.1007/bfb0083082openalex-snapshot
Coequalizers in categories of algebras
inferred← citeshttps://doi.org/10.1007/s00029-026-01129-xopenalex-snapshot
Towards enriched universal algebra
inferred← citeshttps://doi.org/10.1007/s10485-017-9503-1openalex-snapshot
Commutants for Enriched Algebraic Theories and Monads
inferred← citeshttps://doi.org/10.1007/s10485-018-9530-6openalex-snapshot
A Formula for Codensity Monads and Density Comonads
inferred← citeshttps://doi.org/10.1007/s10485-019-09579-5openalex-snapshot
Algebraic Theories and Commutativity in a Sheaf Topos
inferred← citeshttps://doi.org/10.1007/s10485-023-09735-yopenalex-snapshot
Diagrammatic Presentations of Enriched Monads and Varieties for a Subcategory of Arities
inferred← citeshttps://doi.org/10.1007/s40509-025-00368-5openalex-snapshot
The quantum monadology
inferred← citeshttps://doi.org/10.1016/0021-8693(69)90102-1openalex-snapshot
Relative functor categories and categories of algebras
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(71)90001-6openalex-snapshot
Equational completion, model induced triples and pro-objects
inferred← citeshttps://doi.org/10.1016/0022-4049(80)90081-xopenalex-snapshot
Multimonads and multimonadic categories
inferred← citeshttps://doi.org/10.1016/0022-4049(81)90105-5openalex-snapshot
Concrete categories and infinitary languages
inferred← citeshttps://doi.org/10.1016/0022-4049(87)90041-7openalex-snapshot
Coproducts and ultrafilters
inferred← citeshttps://doi.org/10.1016/0022-4049(90)90101-mopenalex-snapshot
Pluri-adjoints and preservation of finite limits
inferred← citeshttps://doi.org/10.1016/j.aim.2012.01.021openalex-snapshot
Algebraic theory of vector-valued integration
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.02.019openalex-snapshot
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
inferred← citeshttps://doi.org/10.1016/j.entcs.2012.08.002openalex-snapshot
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?
inferred← citeshttps://doi.org/10.1016/s1570-7954(03)80059-1openalex-snapshot
Monads of sets
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80364-5openalex-snapshot
Modal Predicates and Coequations
inferred← citeshttps://doi.org/10.1017/s0960129504004402openalex-snapshot
Operations and equations for coalgebras
inferred← citeshttps://doi.org/10.1017/s0960129511000053openalex-snapshot
Domains occur among spaces as strict algebras among lax
inferred← citeshttps://doi.org/10.1017/s0960129521000220openalex-snapshot
Metric monads
inferred← citeshttps://doi.org/10.1017/s0960129521000360openalex-snapshot
Finitary monads on the category of posets
inferred← citeshttps://doi.org/10.1080/16073606.1980.9631866openalex-snapshot
VARIETAL HULLS OF FUNCTORS
inferred← citeshttps://doi.org/10.1090/s0002-9939-1972-0316531-1openalex-snapshot
Quasi-Cotripleable Categories
inferred← citeshttps://doi.org/10.1093/imrn/rnz369openalex-snapshot
Endofunctors and Poincaré–Birkhoff–Witt Theorems
inferred← citeshttps://doi.org/10.1145/3464691openalex-snapshot
Reiterman’s Theorem on Finite Algebras for a Monad
inferred← citeshttps://doi.org/10.2140/pjm.1977.68.347openalex-snapshot
On a representation theory for ideal systems
inferred← citeshttps://doi.org/10.2168/lmcs-11(3:2)2015openalex-snapshot
Presenting Distributive Laws
inferred← citeshttps://doi.org/10.2168/lmcs-8(3:14)2012openalex-snapshot
Strongly Complete Logics for Coalgebras
inferred← citeshttps://doi.org/10.2307/2374638openalex-snapshot
General Functorial Semantics, I
inferred← citeshttps://doi.org/10.25911/5d723a9ae331aopenalex-snapshot
A categorical approach to universal algebra
inferred← citeshttps://doi.org/10.48550/arxiv.0810.3162openalex-snapshot
Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1110.3294openalex-snapshot
Algebraic theories, monads, and arities
inferred← citeshttps://doi.org/10.70675/e25bcca0z1b66z4116z80eaz3397f4044ca3openalex-snapshot
Lifting Algebraic Reasoning to Generalized Metric Spaces
inferred← citeshttps://doi.org/10.70930/tac/bxk823zqopenalex-snapshot
Presentations and algebraic colimits of enriched monads for a subcategory of arities
inferred← citeshttps://doi.org/10.70930/tac/e8vfdat6openalex-snapshot
A unified framework for notions of algebraic theory
inferred← citeshttps://doi.org/10.70930/tac/fm1qswbsopenalex-snapshot
A Presentation of Bases for Parametrized Iterativity
inferred← citeshttps://doi.org/10.70930/tac/jjc9mnkyopenalex-snapshot
The nerve theorem for relative monads
inferred← citeshttps://doi.org/10.70930/tac/oemuk897openalex-snapshot
Dense Morphisms of Monads
inferred← citeshttps://doi.org/10.70930/tac/zpkjwf4qopenalex-snapshot
Codensity and the ultrafilter monad
inferred← citeshttps://doi.org/10.71548/11962openalex-snapshot
Relative Adjointness and Preservation of Non-Existing Limits
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.