Formalizing Structural Semiotics: A Category-Theoretic Approach to Actantial Systems | Synapse