2025/07/14 by Giacomo Tendas, Tendas, Giacomo
Computer Science · Decision Sciences · #Advanced Algebra and Logic #Rough Sets and Fuzzy Logic #Fuzzy and Soft Set Theory
paper · pdf · doi:10.48550/arxiv.2507.09946
We introduce a new notion of recursively generated enriched term which generalizes the one studied in joint work with Rosický. These new terms come together with a notion of term-interpretability, which recovers the same type of interpretability that has been considered for enrichment over posets, metric spaces, and ω-complete posets. As an application of this, we specialize to the 2-categorical case by considering 2-dimensional terms and 2-dimensional equational theories. In this context we also give an explicit description of free structures and prove a 2-dimensional Birkhoff variety theorem.