On the public citation graph
Categorical Algebra and its Applications
0 signed · 50 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/bfb0081351openalex-snapshot
Sur la convergence de suites de fonctions suivant des filtres
inferredcites →https://doi.org/10.1007/bfb0081355openalex-snapshot
Modal and tense predicate logic: Models in presheaves and categorical conceptualization
inferredcites →https://doi.org/10.1007/bfb0081371openalex-snapshot
Simultaneous representations in 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/978-94-009-1575-6_6openalex-snapshot
If Not-True and Not Being True are not Identical, Which One is False?
inferred← citeshttps://doi.org/10.1007/bf01620621openalex-snapshot
Presheaf semantics and independence results for some non-classical first-order logics
inferred← citeshttps://doi.org/10.1007/bf03026617openalex-snapshot
Are the traditional philosophies of mathematics really incompatible?
inferred← citeshttps://doi.org/10.1007/s10516-005-0466-8openalex-snapshot
The Meaning of Category Theory for 21st Century Philosophy
inferred← citeshttps://doi.org/10.1016/0001-8708(92)90036-kopenalex-snapshot
Double Lie algebroids and second-order geometry, I
inferred← citeshttps://doi.org/10.1016/0021-8693(90)90246-kopenalex-snapshot
Algebraic constructions in the category of lie algebroids
inferred← citeshttps://doi.org/10.1016/0022-4049(90)90075-sopenalex-snapshot
On De Rham's theorem in synthetic differential geometry
inferred← citeshttps://doi.org/10.1016/0022-4049(91)90010-yopenalex-snapshot
The ‘closed subgroup theorem’ for localic herds and pregroupoids
inferred← citeshttps://doi.org/10.1016/0022-4049(92)90031-aopenalex-snapshot
The fundamental localic groupoid of a topos
inferred← citeshttps://doi.org/10.1016/0022-4049(92)90110-2openalex-snapshot
Algebraic functor slices
inferred← citeshttps://doi.org/10.1016/0166-8641(94)90095-7openalex-snapshot
Products in cartesian closed subcategories of the category of topological spaces
inferred← citeshttps://doi.org/10.1016/j.aim.2007.11.011openalex-snapshot
Commutator theory, action groupoids, and an intrinsic Schreier–Mac Lane extension theorem
inferred← citeshttps://doi.org/10.1016/j.aim.2019.02.018openalex-snapshot
Forking independence from the categorical point of view
inferred← citeshttps://doi.org/10.1016/j.aim.2024.109719openalex-snapshot
Homologie polygraphique des systèmes locaux
inferred← citeshttps://doi.org/10.1016/j.apal.2007.04.001openalex-snapshot
An algebraic approach to subframe logics. Intuitionistic case
inferred← citeshttps://doi.org/10.1016/j.apal.2008.04.005openalex-snapshot
Introduction to Turing categories
inferred← citeshttps://doi.org/10.1016/j.apal.2022.103124openalex-snapshot
Induced and higher-dimensional stable independence
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.10.011openalex-snapshot
Neighborhood-Sheaf Semantics for First-Order Modal Logic
inferred← citeshttps://doi.org/10.1016/j.geomphys.2005.04.005openalex-snapshot
Lie groupoids and Lie algebroids in physics and noncommutative geometry
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2018.09.002openalex-snapshot
Higher commutator conditions for extensions in Mal'tsev categories
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2022.02.013openalex-snapshot
Hilbert's Theorem 90 in monoidal categories
inferred← citeshttps://doi.org/10.1016/j.jpaa.2011.07.013openalex-snapshot
Comprehensive factorization and I -central extensions
inferred← citeshttps://doi.org/10.1016/j.jpaa.2014.04.004openalex-snapshot
A Quillen model for classical Morita theory and a tensor categorification of the Brauer group
inferred← citeshttps://doi.org/10.1016/j.jpaa.2014.10.004openalex-snapshot
Functoriality of groupoid quantales. I
inferred← citeshttps://doi.org/10.1016/j.jpaa.2022.107230openalex-snapshot
Orientals as free weak ω-categories
inferred← citeshttps://doi.org/10.1016/j.topol.2015.12.017openalex-snapshot
Characterising points which make P-frames
inferred← citeshttps://doi.org/10.1016/j.topol.2019.106966openalex-snapshot
Monoidal characterisation of groupoids and connectors
inferred← citeshttps://doi.org/10.1016/j.topol.2023.108785openalex-snapshot
Localic separation and the duality between closedness and fittedness
inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80039-xopenalex-snapshot
Some aspects of categorical logic
inferred← citeshttps://doi.org/10.1016/s1570-7954(00)80027-3openalex-snapshot
Some aspects of categories in computer science
inferred← citeshttps://doi.org/10.1017/s0012217300009288openalex-snapshot
An Extension of the Formulas-as-Types Paradigm
inferred← citeshttps://doi.org/10.1017/s0960129517000019openalex-snapshot
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
inferred← citeshttps://doi.org/10.1112/jlms.12636openalex-snapshot
Orbifold Euler characteristics of non‐orbifold groupoids
inferred← citeshttps://doi.org/10.1184/r1/6477164openalex-snapshot
Cotopological completions and hulls of concrete categories
inferred← citeshttps://doi.org/10.1184/r1/6479198openalex-snapshot
Quotient-topological completions and hulls of concrete categories
inferred← citeshttps://doi.org/10.21136/mb.2007.133961openalex-snapshot
Professor Rosický sexagenarian
inferred← citeshttps://doi.org/10.3390/books978-3-03897-325-6openalex-snapshot
Hopf Algebras, Quantum Groups and Yang-Baxter Equations
inferred← citeshttps://doi.org/10.70930/tac/4gy91eotopenalex-snapshot
Range Categories II: Towards Regularity
inferred← citeshttps://doi.org/10.70930/tac/6r8l5k81openalex-snapshot
Range Categories I: General Theory
inferred← citeshttps://doi.org/10.70930/tac/ak1jwor1openalex-snapshot
Cauchy Completions and the Rule of Unique Choice in Relational Doctrines
inferred← citeshttps://doi.org/10.70930/tac/gx0p5rk1openalex-snapshot
Cocompletion of restriction categories
inferred← citeshttps://doi.org/10.70930/tac/xafus3aaopenalex-snapshot
A Note on Rewriting Theory for Uniqueness of Iteration
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.