Pseudoalgebras and non-canonical isomorphisms (Q1732881)

The problem of non-canonical isomorphisms lies in investigating whether, in a given context, the existence of an invertible non-canonical transformation implies the invertibility of the previously given canonical one. Two-dimensional mondal theory [\textit{S. Lack}, Adv. Math. 152, No. 2, 179--202 (2000; Zbl 0971.18008)], [\textit{F. Marmolejo}, Theory Appl. Categ. 5, 91--147 (1999; Zbl 0919.18004); J. Pure Appl. Algebra 194, No. 1--2, 169--182 (2004; Zbl 1055.18002)] gives a unifying approach to several aspects of two-dimensional universal algebra [\textit{R. Blackwell} et al., J. Pure Appl. Algebra 59, No. 1, 1--41 (1989; Zbl 0675.18006)], [\textit{G. M. Kelly}, Lect. Notes Math. 420, 257--280 (1974; Zbl 0334.18004)], [\textit{F. Lucatelli Nunes}, Theory Appl. Categ. 31, 217--256 (2016; Zbl 1359.18003)]. The principal objective in this paper is to address the problem of non-canonical isomorphisms from the standpoint of $2$-dimensional monad theory. It is shown that, given a pseudomonad $\mathcal{T}$ on a $2$-category $\mathcal{B}$, a lax $\mathcal{T}$-morphism $f:y\rightarrow z$ between $\mathcal{T}$-pseudoalgebras is a $\mathcal{T}$-pseudomorphism iff there is an $f$-isomorphism.