OpenAlex
A Categorical Semantics for Inductive-Inductive Definitions
Work