ByNobleID
    Functorial semantics of topological theories | NobleID