On the public citation graph
Some algebraic problems in the context of functorial semantics of algebraic theories
0 signed · 135 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-3-642-99902-4_16openalex-snapshot
Acyclic Models and Triples
inferredcites →https://doi.org/10.1007/978-3-642-99902-4_3openalex-snapshot
Some Aspects of Equational Categories
inferredcites →https://doi.org/10.1016/s0019-9958(67)90670-5openalex-snapshot
Automata in general algebras
inferredcites →https://doi.org/10.1073/pnas.50.5.869openalex-snapshot
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
inferredcites →https://doi.org/10.4064/cm-14-1-89-106openalex-snapshot
Algebra valued functors in general and tensor products in particular
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.1006/inco.2001.3050openalex-snapshot
Functorial Models for Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-48321-7_2openalex-snapshot
Tile transition systems as structured coalgebras?
inferred← citeshttps://doi.org/10.1007/3-540-55511-0_1openalex-snapshot
Types, abstraction, and parametric polymorphism, part 2
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_27openalex-snapshot
Mapping tile logic into rewriting logic
inferred← citeshttps://doi.org/10.1007/978-3-319-04564-1_10openalex-snapshot
A Glimpse at Homotopical Geometry
inferred← citeshttps://doi.org/10.1007/978-3-319-04564-1_3openalex-snapshot
Parametrized and Functional Differential Geometry
inferred← citeshttps://doi.org/10.1007/978-3-319-08019-2_6openalex-snapshot
Uniform Schemata for Proof Rules
inferred← citeshttps://doi.org/10.1007/978-3-319-44245-7_2openalex-snapshot
Iconicity in Peirce’s Semiotics
inferred← citeshttps://doi.org/10.1007/978-3-319-58507-9_5openalex-snapshot
A Logic for Human Actions
inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_18openalex-snapshot
The Microcosm Principle and Concurrency in Coalgebra
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_38openalex-snapshot
Abstract Semantics by Observable Contexts
inferred← citeshttps://doi.org/10.1007/978-3-642-03741-2_6openalex-snapshot
Coalgebraic Components in a Many-Sorted Microcosm
inferred← citeshttps://doi.org/10.1007/978-3-642-15155-2_33openalex-snapshot
Second-Order Algebraic Theories
inferred← citeshttps://doi.org/10.1007/bf01220869openalex-snapshot
On the quasivariety of convex subsets of affine spaces
inferred← citeshttps://doi.org/10.1007/bf01369712openalex-snapshot
Une approche transformationnelle a l'algebre universelle
inferred← citeshttps://doi.org/10.1007/bf02483902openalex-snapshot
The Birkhoff theorem for finite algebras
inferred← citeshttps://doi.org/10.1007/s00012-002-8188-xopenalex-snapshot
Some universal properties of the category of clones
inferred← citeshttps://doi.org/10.1007/s00012-009-0004-4openalex-snapshot
All clones are centralizer clones
inferred← citeshttps://doi.org/10.1007/s00012-012-0209-9openalex-snapshot
A general Galois theory for operations and relations in arbitrary categories
inferred← citeshttps://doi.org/10.1007/s00012-014-0303-2openalex-snapshot
Dualizing clones into categories of topological spaces
inferred← citeshttps://doi.org/10.1007/s10485-013-9300-4openalex-snapshot
A General Method for Building Reflections
inferred← citeshttps://doi.org/10.1007/s10485-016-9475-6openalex-snapshot
Every Rig with a One-Variable Fixed Point Presentation is the Burnside Rig of a Prextensive Category
inferred← citeshttps://doi.org/10.1007/s10485-017-9496-9openalex-snapshot
Convex Spaces, Affine Spaces, and Commutants for Algebraic Theories
inferred← citeshttps://doi.org/10.1007/s10485-022-09694-wopenalex-snapshot
Semantic Factorization and Descent
inferred← citeshttps://doi.org/10.1007/s11787-014-0111-7openalex-snapshot
Contrary-to-Duty Reasoning: A Categorical Approach
inferred← citeshttps://doi.org/10.1007/s40062-016-0131-5openalex-snapshot
On the relation between continuous and combinatorial
inferred← citeshttps://doi.org/10.1016/0021-8693(77)90164-8openalex-snapshot
Affine parts of algebraic theories. I
inferred← citeshttps://doi.org/10.1016/0021-8693(90)90230-lopenalex-snapshot
Collapsed toposes and cartesian closed varieties
inferred← citeshttps://doi.org/10.1016/0022-4049(82)90058-5openalex-snapshot
Continuous extrapolation to triangular matrices characterizes smooth functions
inferred← citeshttps://doi.org/10.1016/j.aim.2014.07.002openalex-snapshot
Lifting homotopy T-algebra maps to strict maps
inferred← citeshttps://doi.org/10.1016/j.aim.2017.09.027openalex-snapshot
Functional distribution monads in functional-analytic contexts
inferred← citeshttps://doi.org/10.1016/j.aim.2021.107733openalex-snapshot
Homotopy-coherent algebra via Segal conditions
inferred← citeshttps://doi.org/10.1016/j.aim.2025.110496openalex-snapshot
Deformations of homotopy theories via algebraic theories
inferred← citeshttps://doi.org/10.1016/j.apal.2012.10.016openalex-snapshot
First-order logical duality
inferred← citeshttps://doi.org/10.1016/j.biosystems.2020.104213openalex-snapshot
A category theoretic approach to metaphor comprehension: Theory of indeterminate natural transformation
inferred← citeshttps://doi.org/10.1016/j.biosystems.2021.104395openalex-snapshot
Mathematics in biological reality: The emergence of natural computation in living systems
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.2014.02.002openalex-snapshot
Clones with Nullary Operations
inferred← citeshttps://doi.org/10.1016/j.entcs.2014.02.006openalex-snapshot
A Short Introduction to Clones
inferred← citeshttps://doi.org/10.1016/j.jpaa.2020.106470openalex-snapshot
General affine adjunctions, Nullstellensätze, and dualities
inferred← citeshttps://doi.org/10.1016/j.plrev.2018.03.002openalex-snapshot
Physical model of qualitative cognition
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.03.013openalex-snapshot
Combining effects: Sum and tensor
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.06.010openalex-snapshot
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.07.038openalex-snapshot
On the algebraic structure of declarative programming languages
inferred← citeshttps://doi.org/10.1016/j.topol.2004.01.007openalex-snapshot
Maps between a space and its square
inferred← citeshttps://doi.org/10.1016/j.topol.2007.09.008openalex-snapshot
Categorical aspects are useful for topology—after 30 years
inferred← citeshttps://doi.org/10.1016/j.topol.2008.05.004openalex-snapshot
Isomorphism and local isomorphism of clones of spaces
inferred← citeshttps://doi.org/10.1016/j.topol.2012.05.025openalex-snapshot
Clones of topological spaces
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00245-1openalex-snapshot
On coconnected algebras
inferred← citeshttps://doi.org/10.1016/s0166-8641(99)00135-2openalex-snapshot
Maps of finite powers of metric spaces (recursive conditions for spaces at work)☆☆Financial support of the Grant Agency of the Czech Republik under the grants no. 201/96/0119 and no. 201/97/0216 is gratefully acknowledged.
inferred← citeshttps://doi.org/10.1016/s1570-7954(00)80028-5openalex-snapshot
Algebra, categories and databases
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80760-1openalex-snapshot
A Logic for Modular Descriptions of Asynchronous and Synchronized Concurrent Systems
inferred← citeshttps://doi.org/10.1017/s0960129500000438openalex-snapshot
Sketches and computation – I: basic definitions and static evaluation
inferred← citeshttps://doi.org/10.1017/s0960129509007646openalex-snapshot
Two-dimensional models of type theory
inferred← citeshttps://doi.org/10.1017/s0960129510000459openalex-snapshot
The structure of first-order causality
inferred← citeshttps://doi.org/10.1017/s0960129513000868openalex-snapshot
Theories of analytic monads
inferred← citeshttps://doi.org/10.1017/s0960129516000426openalex-snapshot
An explicit formula for the free exponential modality of linear logic
inferred← citeshttps://doi.org/10.1017/s1446788700005899openalex-snapshot
Representing varieties of algebras by algebras
inferred← citeshttps://doi.org/10.1017/s1446788700038970openalex-snapshot
Mal'cev conditions, spectra and kronecker product
inferred← citeshttps://doi.org/10.1017/s1474748022000603openalex-snapshot
GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES
inferred← citeshttps://doi.org/10.1023/a:1005066020883openalex-snapshot
Problems of Equivalence, Categoricity of Axioms and States Description in Databases
inferred← citeshttps://doi.org/10.1023/b:apcs.0000040556.34957.59openalex-snapshot
Counting Cocomponents of a Topological Space
inferred← citeshttps://doi.org/10.1080/00222933608655221openalex-snapshot
L.—Five new species of ant (Formicidæ) from various localities
inferred← citeshttps://doi.org/10.1080/00927872.2013.763256openalex-snapshot
A Generalized Version of the Baker–Pixley Theorem
inferred← citeshttps://doi.org/10.1080/00927872.2017.1354007openalex-snapshot
The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope
inferred← citeshttps://doi.org/10.1090/s0002-9939-1972-0299651-xopenalex-snapshot
Extension of Algebraic Theories
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199646296.003.0007openalex-snapshot
Scalars, Monads, and Categories
inferred← citeshttps://doi.org/10.1109/lics.2006.46openalex-snapshot
Saturated Semantics for Reactive Systems
inferred← citeshttps://doi.org/10.1109/lics.2009.19openalex-snapshot
The Structure of First-Order Causality
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470728openalex-snapshot
Parametricity and Semi-Cubical Types
inferred← citeshttps://doi.org/10.1142/s0218196713500021openalex-snapshot
A GENERAL DUALITY THEORY FOR CLONES
inferred← citeshttps://doi.org/10.12775/llp.2016.013openalex-snapshot
Category Free Category Theory and Its Philosophical Implications
inferred← citeshttps://doi.org/10.1515/gmj-2020-2073openalex-snapshot
Admissible Galois Structures on the categories dual to some varieties of universal algebras
inferred← citeshttps://doi.org/10.1515/tmj-2017-0114openalex-snapshot
Introduction. A Personal Tribute to Peter Freyd and Bill Lawvere
inferred← citeshttps://doi.org/10.1515/tmj-2017-0115openalex-snapshot
On the concrete representation of discrete enriched abstract clones
inferred← citeshttps://doi.org/10.2140/agt.2018.18.2963openalex-snapshot
On the commutative algebra of categories
inferred← citeshttps://doi.org/10.2168/lmcs-10(2:1)2014openalex-snapshot
Towards 3-Dimensional Rewriting Theory
inferred← citeshttps://doi.org/10.22111/ijfs.2015.2020openalex-snapshot
Categorically-algebraic topology and its applications
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.31274/rtd-180813-10818openalex-snapshot
Categorical abstract algebraic logic
inferred← citeshttps://doi.org/10.4153/cjm-1993-029-3openalex-snapshot
Sur les Opérations Partielles Implicites et Leur Relation Avec la Surjectivité Des Épimorphismes
inferred← citeshttps://doi.org/10.4230/lipics.concur.2017.24openalex-snapshot
Refinement for Signal Flow Graphs
inferred← citeshttps://doi.org/10.4230/lipics.iclp.2012.334openalex-snapshot
Logic Programming in Tabular Allegories
inferred← citeshttps://doi.org/10.4230/lipics.rta.2010.227openalex-snapshot
Computing Critical Pairs in 2-Dimensional Rewriting Systems
inferred← citeshttps://doi.org/10.46298/entics.14767openalex-snapshot
Two-dimensional Kripke Semantics II: Stability and Completeness
inferred← citeshttps://doi.org/10.48550/arxiv.0710.0032openalex-snapshot
Extended TQFT's and Quantum Gravity
inferred← citeshttps://doi.org/10.48550/arxiv.0911.0977openalex-snapshot
Tannaka duality for comonoids in cosmoi
inferred← citeshttps://doi.org/10.48550/arxiv.1001.2628openalex-snapshot
Cubical n-Categories and Finite Limits Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1110.3294openalex-snapshot
Algebraic theories, monads, and arities
inferred← citeshttps://doi.org/10.48550/arxiv.1112.3603openalex-snapshot
A general method for building reflections
inferred← citeshttps://doi.org/10.48550/arxiv.1204.4886openalex-snapshot
The universal simplicial bundle is a simplicial group
inferred← citeshttps://doi.org/10.48550/arxiv.1308.5409openalex-snapshot
Second-Order Algebraic Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1409.6405openalex-snapshot
Kan extensions and cartesian monoidal categories
inferred← citeshttps://doi.org/10.48550/arxiv.1410.7971openalex-snapshot
Overconvergent global analytic geometry
inferred← citeshttps://doi.org/10.48550/arxiv.1512.08104openalex-snapshot
Lawvere theories and C-systems
inferred← citeshttps://doi.org/10.48550/arxiv.1601.02158openalex-snapshot
Lawvere theories and Jf-relative monads
inferred← citeshttps://doi.org/10.48550/arxiv.1609.06599openalex-snapshot
On the category of finitely generated free groups
inferred← citeshttps://doi.org/10.48550/arxiv.1710.00098openalex-snapshot
A Compositional Framework for Bond Graphs
inferred← citeshttps://doi.org/10.48550/arxiv.1805.08290openalex-snapshot
Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective
inferred← citeshttps://doi.org/10.48550/arxiv.2001.09075openalex-snapshot
A topos-theoretic view of difference algebra
inferred← citeshttps://doi.org/10.48550/arxiv.2010.02752openalex-snapshot
ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory
inferred← citeshttps://doi.org/10.48550/arxiv.hep-th/9304061openalex-snapshot
Closed string field theory, strong homotopy Lie algebras and the operad actions of moduli space
inferred← citeshttps://doi.org/10.48550/arxiv.math/0312420openalex-snapshot
Algebraic Logic, Varieties of Algebras and Algebraic Varieties
inferred← citeshttps://doi.org/10.48550/arxiv.math/0611930openalex-snapshot
Double Bicategories and Double Cospans
inferred← citeshttps://doi.org/10.70930/tac/1muq39l8openalex-snapshot
A note on transport of algebraic structures
inferred← citeshttps://doi.org/10.70930/tac/lexbc7h2openalex-snapshot
Algebraic categories whose projectives are explicitly free
inferred← citeshttps://doi.org/10.70930/tac/mhnxxdtdopenalex-snapshot
Bimonadicity and the Explicit Basis Property
inferred← citeshttps://doi.org/10.70930/tac/mhr3j6amopenalex-snapshot
Corelations are the prop for extraspecial commutative Frobenius monoids
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.