Learning Subsequential Transducers. A Categorical Approach