On the public citation graph
Indexed Categories and Their Applications
0 signed · 60 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/bfb0062913openalex-snapshot
Hyperfunctions and Theoretical Physics
inferredcites →https://doi.org/10.1007/bfb0062936openalex-snapshot
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
inferredcites →https://doi.org/10.1007/bfb0063298openalex-snapshot
Kommutative algebraische Gruppen und Ringe
inferredcites →https://doi.org/10.1007/bfb0068574openalex-snapshot
Probabilistic Methods in Differential Equations
inferredcites →https://doi.org/10.1007/bfb0097059openalex-snapshot
Minimum Norm Extremals in Function Spaces: With Applications to Classical and Modern Analysis
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.2000.1947openalex-snapshot
Distribution Algebras and Duality
inferred← citeshttps://doi.org/10.1007/3-540-16816-8_38openalex-snapshot
What is a model? A consumer's perspective on semantic theory
inferred← citeshttps://doi.org/10.1007/3-540-17162-2_137openalex-snapshot
Internal completeness of categories of domains
inferred← citeshttps://doi.org/10.1007/3-540-18508-9_18openalex-snapshot
Polymorphism is set theoretic, constructively
inferred← citeshttps://doi.org/10.1007/3-540-18508-9_19openalex-snapshot
An equational presentation of higher order logic
inferred← citeshttps://doi.org/10.1007/3-540-51722-7_6openalex-snapshot
Foundations are rich institutions, but institutions are poor foundations
inferred← citeshttps://doi.org/10.1007/3-540-54507-7_14openalex-snapshot
Logical fiberings and polycontextural systems
inferred← citeshttps://doi.org/10.1007/3-540-56379-2_41openalex-snapshot
New concepts of amalgamation and extension for a general theory of specifications
inferred← citeshttps://doi.org/10.1007/3-540-57182-5_3openalex-snapshot
Deliverables: a categorical approach to program development in type theory
inferred← citeshttps://doi.org/10.1007/bfb0065272openalex-snapshot
Injectives in topoi, I: Representing coalgebras as algebras
inferred← citeshttps://doi.org/10.1007/bfb0065273openalex-snapshot
Injectives in Topoi, II: Connections with the axiom of choice
inferred← citeshttps://doi.org/10.1016/0021-8693(87)90093-7openalex-snapshot
Families parametrized by coalgebras
inferred← citeshttps://doi.org/10.1016/0022-4049(82)90083-4openalex-snapshot
Continuous categories and exponentiable toposes
inferred← citeshttps://doi.org/10.1016/0022-4049(84)90016-1openalex-snapshot
Cofibrations in the bicategory of topoi
inferred← citeshttps://doi.org/10.1016/0022-4049(86)90056-3openalex-snapshot
Functions on universal algebras
inferred← citeshttps://doi.org/10.1016/0022-4049(86)90148-9openalex-snapshot
Cofibrations II: Left exact right actions and composition of Gamuts
inferred← citeshttps://doi.org/10.1016/0022-4049(95)00029-1openalex-snapshot
Avoiding the axiom of choice in general category theory
inferred← citeshttps://doi.org/10.1016/0022-4049(95)00150-6openalex-snapshot
Spreads and the symmetric topos
inferred← citeshttps://doi.org/10.1016/0168-0072(88)90018-8openalex-snapshot
A small complete category
inferred← citeshttps://doi.org/10.1016/0168-0072(94)00035-2openalex-snapshot
On completeness and cocompleteness in and around small categories
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90085-gopenalex-snapshot
Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90110-4openalex-snapshot
Functorial theory of a parameterized specifications in a general specification framework
inferred← citeshttps://doi.org/10.1016/0890-5401(92)90024-aopenalex-snapshot
Categorical models of polymorphism
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.apal.2018.11.002openalex-snapshot
Comparing material and structural set theories
inferred← citeshttps://doi.org/10.1016/j.exmath.2019.02.004openalex-snapshot
Categorical notions of fibration
inferred← citeshttps://doi.org/10.1016/j.jpaa.2013.11.002openalex-snapshot
Fibred 2-categories and bicategories
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.10.030openalex-snapshot
Interpolation in Grothendieck Institutions
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00108-9openalex-snapshot
A presentation of the initial lift-algebra
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00165-xopenalex-snapshot
Cartesian monads on toposes
inferred← citeshttps://doi.org/10.1016/s0022-4049(97)00090-xopenalex-snapshot
Continuous families of coalgebras
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70559-2openalex-snapshot
Some Aspects of Categorical Semantics: Sheaves and Glueing
inferred← citeshttps://doi.org/10.1016/s0168-0072(96)00051-6openalex-snapshot
On the semantics of the universal quantifier
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00361-9openalex-snapshot
Logical foundations of CafeOBJ
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70018-4openalex-snapshot
Lambda-Calculus and Combinators in the 20th Century
inferred← citeshttps://doi.org/10.1017/cbo9781139193313.003openalex-snapshot
Classical and Quantum Structuralism
inferred← citeshttps://doi.org/10.1017/s0305004100061284openalex-snapshot
Locally cartesian closed categories and type theory
inferred← citeshttps://doi.org/10.1017/s0305004100068365openalex-snapshot
An application of descent to a classification theorem for toposes
inferred← citeshttps://doi.org/10.1017/s096012950200364xopenalex-snapshot
Tripos theory in retrospect
inferred← citeshttps://doi.org/10.1017/s0960129513000868openalex-snapshot
Theories of analytic monads
inferred← citeshttps://doi.org/10.1017/s0960129514000516openalex-snapshot
W-types in homotopy type theory
inferred← citeshttps://doi.org/10.1017/s0960129525100303openalex-snapshot
Objective Mackey and Tambara functors via parametrized categories
inferred← citeshttps://doi.org/10.1017/s0960129598002606openalex-snapshot
Abstract and behaviour module specifications
inferred← citeshttps://doi.org/10.1080/00927878208822709openalex-snapshot
Elements of free modules in topoi∗
inferred← citeshttps://doi.org/10.1109/lics.1989.39155openalex-snapshot
Computational lambda-calculus and monads
inferred← citeshttps://doi.org/10.2307/2273784openalex-snapshot
Fibered categories and the foundations of naive category theory
inferred← citeshttps://doi.org/10.3103/s1066369x07090010openalex-snapshot
Poincaré conjecture and related statements
inferred← citeshttps://doi.org/10.48550/arxiv.2006.10890openalex-snapshot
Diagrams, Fibrations, and the Decomposition of Colimits
inferred← citeshttps://doi.org/10.5109/13349openalex-snapshot
AN ABSTRACT RELATIONAL MODEL AND NATURAL JOIN FUNCTORS
inferred← citeshttps://doi.org/10.6083/nz8060259openalex-snapshot
Categorical programming with functorial strength
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.