Example Actegories as pseudomonoid actions [efr-9LCF]
Example Actegories as pseudomonoid actions [efr-9LCF]
As discussed above, \mathsf {Act}(\mathsf {Cat}) is the locally full subcategory of the 2-category of actegories and pairs of strong monoidal and lax linear functors constructed in Reference [actegories-amthematician-capucci-gavranovic] (see Proposition 3.6.5) spanned by the pseudolinear (or "strongly linear") functors.