institution the (finitary) quasi-representable signature morphisms form a subcategory of Sig (0)

by In any