universal algebra: Hom, Sub, and Cong from universal algebra, which take diagrams of SFOL-theories as input (e.g. the algebraic hierarchy consisting of Magma, Monoid, Group, ...) and output the diagram enriched with theories for homomorphisms, substructures, and congruences, respectively, for all input theories, respectively (see output diagram here)
an operator to perform theory intersections along (partial) views for refactoring purposes: see here.
:syntaxserver extension for screenshots and usage)Hom,Sub, andCongfrom universal algebra, which take diagrams of SFOL-theories as input (e.g. the algebraic hierarchy consisting ofMagma,Monoid,Group, ...) and output the diagram enriched with theories for homomorphisms, substructures, and congruences, respectively, for all input theories, respectively (see output diagram here)