[A] M. Svensson, On holomorphic harmonic morphisms, Manuscripta Math. 107 (2002), 1–13. [B] M. Svensson, Harmonic morphisms from even-dimensional hyperbolic spaces, Math. Scand. 92 (2003), 246–260. [C] M. Svensson, Holomorphic foliations, harmonic morphisms and the Walczak formula, J. London Math. Soc. 68 (2003), 781–794. [D] M. Svensson, Harmonic morphisms in Hermitian geometry, J. Reine Angew...

Local deterministic string-to-string transductions are generalizations of morphisms on free monoids. Learning local transductions reduces to inference of monoid morphisms. However, learning a restricted class of morphisms, the so-called fine morphisms, is an intractable problem, because the decision version of the empirical risk minimization problem contains an NP-complete subproblem.

In the present paper, we introduce bounded morphisms on bi-approximation semantics, show the so-called p-morphism lemma on bi-approximation semantics, and investigate the dual representation of the morphisms. In addition, we study three properties, namely B-embedding, B-separating and B-reflecting, to preserve validity of sequents on frames. These bounded morphisms do not look like embedding, s...

We develop a bicategorical setup in which one can speak about adjoint 1-morphisms even the absence of genuine identity 1-morphisms. also investigate part 2-representation theory 2-categories extends to this new setup.