Rectangular torsion theories

First, we make some general observations:

• (G) (f_1,f_2) is a monomorphism/epimorphism if and only if so are each f_i.

Now, suppose (?) is a short exact sequence. (G) together with (E1-2) leave us to show that m_1 is a split epimorphism and symmetrically, e_2 is a split monomorphism. Thanks to commutativity of the right-hand side square below and (E4), we get a commutative triangle on the left:

Then m_1u'_1=\operatorname{id}_{C}, proving that m_1 is a split epimorphism. That e_2 is a split monomorphism can be proved similarly (with a dual-symmetric argument).

For the converse, suppose all the assumptions stated for m_i,e_i in the lemma hold. It is not difficult to see that since m_1 and e_2 are isomorphisms, without loss of generality we can assume that they are actually identity morphisms. So the sequence (?) becomes the top line of the following diagram:

(E1-2) hold by (G) and we already know (E3) holds. To prove (E4), suppose (e_1,\operatorname{id}_{D})\circ (u_1,u_2) factors through an object in \mathcal{Z}. Without loss of generality, we can assume that this object is (1,0). This gives the rest of the above diagram of solid arrows. Now, (u_1,u_2) indeed factors through (\operatorname{id}_{C},m_2) as required in (E3): look at the dashed arrow in the diagram above. The proof of (E5) is similar.

Suppose (\mathbb{C}\times \mathbf{0},\mathbf{1}\times\mathbb{D}) is a pretorsion theory. Then any object (C,D) is part of a short exact sequence, which by Lemma 2.1 can be written out as

where m_2\colon C\to D is a monomorphism and e_1\colon C\to 1 is an epimorphism. To prove the converse, we can apply Lemma 2.1 again and use the above sequence for each (C,D). Thanks to the discussion at the start of this section, this would conclude the proof.

The canonical functor \Gamma associated to (\mathbb{C}\times_{} \mathbb{D},\mathbb{C}\times \mathbf{0},\mathbf{1}\times\mathbb{D}) is

This is clearly an equivalence of categories, as \Gamma=T'\times_{} F' with T'\:X\mapsto (X,0) and F'\:Y\mapsto (1,Y), and both T' and F' are equivalences.

It is known that if we have a pretorsion theory (\mathbb{C},\mathbb{C},\mathcal{J}) then \mathcal{J} is a full replete epireflective subcategory of \mathbb{C}, see [FFG21, Corollary 3.4]. Taking the torsion free part of objects of \mathbb{C} gives the epireflection.

We prove that if J\:\mathcal{J}\subseteq \mathbb{C} is a full replete epireflective subcategory of \mathbb{C} then (\mathbb{C},\mathbb{C},\mathcal{J}) is a pretorsion theory. Call L\:\mathbb{C}\to \mathcal{J} the epireflection. Of course both \mathbb{C} and \mathcal{J} are full replete subcategories of \mathbb{C}. The ideal of null morphisms is given by \mathbb{C}\cap \mathcal{J}=\mathcal{J}, so every morphism landing into an object of \mathcal{J} is null. It remains to show that every object X\in \mathbb{C} sits in the middle of an appropriate short exact sequence. But given X\in \mathbb{C}, the epireflection produces an epimorphism \eta_X\:X\to J(L(X)), with L(X)\in \mathcal{J}. So consider the sequence

Since \eta_X is null, \operatorname{id}_{X} is a kernel of \eta_X. We show that \eta_X is the cokernel of \operatorname{id}_{X}. Given any null morphism m\:X\to M, we have that m factors as X\xrightarrow[]{m^1} J(A)\xrightarrow[]{m^2}M with A\in \mathcal{J}. As \eta_X gives a universal arrow, there exists a unique v\:L(X)\to A such that

Whence m^2\circ J(v) is such that m^2\circ J(v)\circ \eta_X=m. Since \eta_X is epi, m^2\circ J(v) is the unique morphism with this property. We thus conclude that the sequence above is short exact.

Now, assume that \mathcal{J} is equivalent to the terminal category, and consider the canonical functor

Notice that indeed h^T=h and h^F=L(h), by uniqueness of h^T and h^F and naturality of \eta. We show that the projection functor \pi_1\:\mathbb{C}\times_{} \mathcal{J}\to \mathbb{C} is a pseudo-inverse of \Gamma. Of course \pi_1\circ \Gamma=\operatorname{Id}_{}. Consider now (X,A)\in \mathbb{C}\times_{}\mathcal{J}. Since \mathcal{J} is equivalent to the terminal category, there exists an isomorphism A\cong L(X), whence (X,A)\cong (X,L(X)). Moreover, such isomorphisms form a natural transformation, again because \mathcal{J} is equivalent to the terminal category. And we conclude that \Gamma\circ \pi_1\cong \operatorname{Id}_{}.

\1 is of course a full replete subcategory of \mathbb{C}, by uniqueness of the terminal object up to iso. If every morphism in \mathbb{C} to the terminal object is an epimorphism, then the unique epimorphisms X\to 1, for a fixed chosen 1\in \1, give an epireflection of \mathbb{C} into \1. Indeed, terminal objects are unique up to a unique isomorphism. By Lemma 2.7, (\mathbb{C},\mathbb{C},\1) is a rectangular pretorsion theory.

If (\mathbb{C},\mathbb{C},\1) is a pretorsion theory, then by Lemma 2.7 \1 is epireflective in \mathbb{C}. So for every X\in \mathbb{C} there exists an epimorphism \eta_X\:X\to 1 with 1\in \1. Whence every morphism in \mathbb{C} to the terminal object is an epimorphism.

Firstly, we remark that when either of the two conditions hold, each \mathcal{T}_i,\mathcal{F}_i are non-empty. So without loss of generality we may assume that these categories are non-empty from the onset. Under this assumption, each \mathcal{T}_i,\mathcal{F}_i are full replete subcategories of \mathbb{C}_i if and only if \Pi\mathcal{T},\Pi\mathcal{F} are full replete subcategories of \Pi\mathbb{C}.

We have:

This implies that a morphism is null in \Pi\mathbb{C} if and only if it is null in each \mathbb{C}_i. So null-morphisms in \Pi\mathbb{C} are component-wise. This clearly guarantees that (T1) holds for (\Pi\mathcal{T},\Pi\mathcal{F}) if and only if it holds for each (\mathcal{T}_i,\mathcal{F}_i). To guarantee the same for (T2) it suffices to show that short exact sequences in \Pi\mathbb{C} are also component-wise (an analogue, and in fact a generalisation of Lemma 2.1). It is easy to see that if each

is a short exact sequence, then so is

Conversely, suppose the above is a short exact sequence. To show that the previous sequence is also short exact for some i\in I, consider a morphism u_i\colon U_i\to C such that e_iu_i is null. Define U_j=T_j when j\neq i and u_j=m_j when j\neq i. Then the composite (e_i)_{i\in I}(u_i)_{i\in I} is null. This results in a factorisation of (u_i)_{i\in I} through (m_i)_{i\in I}, and hence a factorisation of u_i through m_i. By the fact that being a monomorphism is a component-wise property and duality, we obtain the desired: that the sequence at i shown above is short exact.

Next, we prove that rectangularity is preserved and reflected under products. It is easy to see that the functor K\colon \Pi\mathbb{C}\to \Pi\mathcal{T}\times \Pi\mathcal{F} that assigns to each objects its torsion and torsion-free part can be built component-wise using similar functors at each K_i. In fact, we have a commutative diagram

where L is an isomorphism. So K will be an equivalence if and only if each K_i is an equivalence.

This theorem is a consequence of Theorem 2.12 and Lemmas 2.7 and 2.8.

The proof is an easy routine and hence we omit it.

The desired equality can be proved on components and checked postcomposing with the production projections. So, given X\in \mathbb{C}, it suffices to prove that \rho_X^{1} \circ \alpha_X^T= \alpha_{T^X} \circ \lambda_X^1 and \rho_X^{2} \circ \alpha_X^F= \alpha_{F^X} \circ \lambda_X^2. Notice now that the following diagrams are commutative

Since H(\ell^X) is a monomorphism, the commutativity of diagram on the left implies \rho_X^{1} \circ \alpha_X^T= \alpha_{T^X} \circ \lambda_X^1. Moreover, since r^{G(X)} is an epimorphism, the commutativity of the diagram on the right implies \rho_X^{2} \circ \alpha_X^F= \alpha_{F^X} \circ \lambda_X^2.

Let k\:k(X)\to X be a kernel of \operatorname{id}_{X}. Then k needs to be a null morphism, so k factors as

with Z\in \mathcal{T}\cap \mathcal{F}. Since \operatorname{id}_{X}\circ k' is null, there exists a unique morphism v\:Z\to k(X) such that k\circ v=k'. Then v\circ j=\operatorname{id}_{}, because this holds after composing with the mono k. So k(X) is a retract of Z\in \mathcal{T}\cap \mathcal{F}, and by [FFG21, Corollary 2.8] we have k(X)\in \mathcal{T}\cap \mathcal{F}.

Analogously, we can prove that c(X)\in \mathcal{T}\cap \mathcal{F}.

Consider an object Z\in\mathcal{T}\cap\mathcal{F} (such Z exists by Remark 2.9(a) in [FFG21]). The canonical functor \mathbb{C}\to\mathcal{T}\times\mathcal{F} maps Z to an object in \mathcal{T}\times\mathcal{F} that is isomorphic to (Z,Z). Since this functor is an equivalence, we obtain a bijection

given by the mapping z\mapsto (z,z). This forces \mathsf{hom}(Z,Z) to be a singleton. Indeed, given (z'\:Z\to Z, z''\:Z\to Z), there exists a unique z\:Z\to Z such that (z,z)=(z',z''). Thus \mathsf{hom}(Z,Z) only contains the identity of Z. Now, consider another object Z' in the intersection \mathcal{T}\cap\mathcal{F}. By the canonical equivalence \mathbb{C}\to\mathcal{T}\times\mathcal{F}, there must be an object C in \mathbb{C} with the torsion and torsion-free parts given by T^C=Z and F^C=Z'. This forces isomorphisms Z\cong C\cong Z', because identities give kernels and cokernels of null morphisms. Whence all objects in \mathcal{T}\cap \mathcal{F} are isomorphic to Z.

We prove that Z is terminal in \mathcal{T} and initial in \mathcal{F}. Given an object T\in\mathcal{T}, consider its reflection r^T\:T\to F^T of T to its torsion-free part F^T. Since we always choose \ell^T=\operatorname{id}_{T} (see the Notations subsection), r^T is a cokernel of \operatorname{id}_{T}. By Lemma 2.19, F^T\in \mathcal{T}\cap \mathcal{F} and thus F^T\cong Z. In other words, for every T\in \mathcal{T} we have a morphism T\to Z that is a cokernel of \operatorname{id}_{T}\colon T\to T in \mathbb{C}. As a consequence, it is also a cokernel of \operatorname{id}_{T} in \mathcal{T} and in particular an epi in \mathcal{T}. Moreover, since \mathsf{hom}(Z,Z) is a singleton, there can only be one morphism T\to Z, proving that Z is a terminal object in \mathcal{T}. Dually, Z is an initial object in \mathcal{F} such that all morphisms going out from Z in \mathcal{F} are mono in \mathcal{F}, which completes the proof.

We can assume that the equivalence \Lambda\:\mathbb{C}\approx \mathbb{D}:\Lambda' is an adjoint equivalence. Consider a composite of morphisms

Assume that \ell is the kernel of r. We prove that \Lambda(\ell) is the kernel of \Lambda(r). So consider a morphism m\:M\to \Lambda(X) such that \Lambda(r)\circ m is a null morphism. By assumption, also \Lambda'(\Lambda(r))\circ \Lambda'(m) is a null morphism, whence also

is a null morphism. Since \ell is the kernel of r, there exists a unique morphism v\: \Lambda'(M)\to X such that

Whence the morphism w given by the composite M\cong \Lambda(\Lambda'(M))\xrightarrow[]{\Lambda(v)} \Lambda(T) is such that \Lambda(l)\circ w=m, thanks to the triangular identity of the adjoint equivalence. Since \Lambda(l) is mono, because every equivalence preserves limits, w is the unique morphism with such property. We thus conclude that \Lambda(\ell) is the kernel of \Lambda(r).

Analogously, we have that \Lambda preserves cokernels.

Every equivalence of categories \Lambda\:\mathbb{C}\approx \mathbb{D}\:\Lambda' that preserves torsion and torsion-free objects also preserves null morphisms, which are generated by \mathcal{T}\cap \mathcal{F}. By Lemma 2.22, \Lambda and \Lambda' then also preserve short exact sequences. It is straightforward to conclude.

Define \mathcal{T} to be the full subcategory of \mathbb{C} on the objects of the essential image of

and analogously define \mathcal{F} using \mathcal{F}'\subseteq \mathbb{D}\xrightarrow[]{\Lambda'}\mathbb{C}. Equivalently, \mathcal{T}=\Lambda^{-1}(\mathcal{T}') and \mathcal{F}=\Lambda^{-1}(\mathcal{F}'). Then of course \mathcal{T} and \mathcal{F} are replete, and both \Lambda and \Lambda' preserve torsion and torsion-free objects. As a consequence, \Lambda and \Lambda' also preserve null morphisms, and every morphism in \mathbb{C} from an object of \mathcal{T} to an object of \mathcal{F} is null. Finally, given X\in \mathbb{C}, we want to construct an appropriate short exact sequence with X in the middle. We consider \Lambda(X) and its associated short exact sequence

in \mathbb{D}. Since \Lambda' is an equivalence of categories that preserves null morphisms, by Lemma 2.22 it preserves short exact sequences. We thus obtain a short exact sequence

And we conclude that (\mathbb{C},\mathcal{T},\mathcal{F}) is a pretorsion theory such that \Lambda lifts to an equivalence of pretorsion theories (also thanks to Proposition 2.23).

By Corollary 2.24, there exists a pretorsion theory (\mathcal{T}\times_{}\mathcal{F},\mathcal{T}'',\mathcal{F}'') such that \Gamma lifts to an equivalence of pretorsion theories. By the proof of Corollary 2.24, \mathcal{T}'' is given by the full subcategory of \mathcal{T}\times_{}\mathcal{F} on the objects of the essential image of \mathcal{T}\subseteq \mathbb{C}\xrightarrow[]{\Gamma} \mathcal{T}\times_{} \mathcal{F}. For every T\in \mathcal{T}, \Gamma(T)=(T^T,F^T)\cong (T,Z) for fixed chosen Z\in \mathcal{T}\cap \mathcal{F} such that all objects in \mathcal{T}\cap \mathcal{F} are isomorphic to Z, by Lemma 2.20 and its proof. So \mathcal{T}''=\mathcal{T}\times_{} \mathcal{T}\cap \mathcal{F}=\mathcal{T}\times_{}\mathbf{Z}, where \mathbf{Z} is the full subcategory of \mathbb{C} given by the objects isomorphic to Z. Analogously, \mathcal{F}''=\mathcal{T}\cap \mathcal{F}\times_{} \mathcal{F}=\mathbf{Z}\times_{} \mathcal{F}.

First, let us note that (b)\Rightarrow(c) is obvious and (c)\Rightarrow(a) holds by Theorem 2.2. It then suffices to prove (a)\Rightarrow(b). Suppose (\mathcal{C},\mathcal{T},\mathcal{F}) is a rectangular pretorsion theory. By Corollary 2.25, the canonical equivalence \Gamma\:\mathcal{C}\to \mathcal{T}\times\mathcal{F} lifts to an equivalence of pretorsion theories between (\mathbb{C},\mathcal{T},\mathcal{F}) and

By Lemma 2.20, all objects in \mathcal{T}\cap \mathcal{F} are isomorphic to an object Z which is terminal in \mathcal{T} and initial in \mathcal{F}. Moreover, again by Lemma 2.20, \mathcal{F} is quasi-pointed and \mathcal{T} satisfies the dual condition. So (\mathcal{T}\times_{}\mathcal{F},\hspace{0.1ex}\mathcal{T}\times_{}(\mathcal{T}\cap \mathcal{F}),(\mathcal{T}\cap\mathcal{F})\times_{} \mathcal{F}) is in fact of the form described in Theorem 2.2.

We prove (a) \ext@arrow 0055{\Rightarrowfill@}{}{}(b). By Lemma 2.20, all objects in \mathcal{T}\cap\mathcal{F} are isomorphic to an object Z which is terminal in \mathcal{T} and initial in \mathcal{F}. Since (\mathbb{C},\mathcal{T},\mathcal{F}) is a rectangular torsion theory, Z needs to be a zero object 0 of \mathbb{C}. But then 0\in \mathcal{T}\subseteq \mathbb{C}, whence it needs to be an initial object of \mathcal{T}. And we had already proved that 0 is terminal in \mathcal{T}. So 0 is a zero object in \mathcal{T}, and analogously also a zero object in \mathcal{F}. We conclude by Theorem 2.26.

We now prove (b) \ext@arrow 0055{\Rightarrowfill@}{}{}(a). Of course, by Theorem 2.26, the product (\mathbb{C}\times_{} \mathbb{D},\mathbb{C}\times \mathbf{0},\mathbf{0}\times\mathbb{D}) of (\mathbb{C},\mathbb{C},\0) and (\mathbb{D},\0,\mathbb{D}) is a rectangular pretorsion theory. We then have that (0,0) is a zero object of \mathbb{C}\times_{}\mathbb{D}, because it is a zero object componentwise. So \mathbb{C}\times_{}\mathbb{D} is pointed. Finally, notice that (\mathbb{C}\times_{} \0) \cap (\0\times_{} \mathbb{D})=\0\times_{} \0, which coincides with the subcategory of zero objects of \mathbb{C}\times_{}\mathbb{D}.

Of course, every torsion theory in our sense is a torsion theory in the sense of [GJ20]. Let (\mathbb{C},\mathcal{T},\mathcal{F}) be a pretorsion theory in the sense of [GJ20] which is rectangular. We thus have kernels k(X)\xrightarrow[]{k}X and cokernels X\xrightarrow[]{c}c(X) of all identities \operatorname{id}_{X}. We prove that (\mathbb{C},\mathcal{T},\mathcal{F}) is a torsion theory. By Lemma 2.19, k(X) and c(X) need to be objects in \mathcal{T}\cap \mathcal{F}. But by Lemma 2.20, all objects in \mathcal{T}\cap\mathcal{F} are isomorphic to a fixed object Z which is terminal in \mathcal{T} and initial in \mathcal{F}. So both k(X) and c(X) are isomorphic to Z. We prove that Z is a zero object in \mathbb{C}. By the argument above, for every X\in \mathbb{C}, there exists a morphism k\:Z\to X which is the kernel of \operatorname{id}_{X}. Let r be another morphism Z\to X. Since \operatorname{id}_{}\circ r is null, there exists a unique morphism w\:Z\to Z such that k\circ w=r. But by the proof of Lemma 2.20, the only morphism from Z to Z is the identity. So that k=r. We conclude that Z is initial in \mathbb{C}. Analogously, Z is terminal in \mathbb{C}, as it gives the cokernels of all identities.

We prove (a) \ext@arrow 0055{\Rightarrowfill@}{}{}(b). Assume that (\mathbb{C},\mathcal{T},\mathcal{F}) is equivalent to a product of pretorsion theories (\mathbb{C},\mathbb{C},\1) and (\mathbb{D},\0,\mathbb{D}) where both \mathbb{C} and \mathbb{D} are bi-quasi-pointed. The pair (0_{\mathbb{C}},0_{\mathbb{D}}) with 0_{\mathbb{C}} initial in \mathbb{C} and 0_{\mathbb{D}} initial in \mathbb{D} is initial in \mathbb{C}\times_{}\mathbb{D}. Analogously, (1_{\mathbb{C}},1_{\mathbb{D}}) is terminal in \mathbb{C}\times_{}\mathbb{D}. The unique morphism (0_{\mathbb{C}},0_{\mathbb{D}})\to (1_{\mathbb{C}},1_{\mathbb{D}}) is both mono and epi, because it is so componentwise.

We now prove (b) \ext@arrow 0055{\Rightarrowfill@}{}{}(a). By the proof of Theorem 2.26, (\mathbb{C},\mathcal{T},\mathcal{F}) is equivalent to the product of pretorsion theories (\mathcal{T},\mathcal{T},\mathcal{T}\cap \mathcal{F}) and (\mathcal{F},\mathcal{T}\cap\mathcal{F},\mathcal{F}), and we know that \mathcal{F} is quasi-pointed and \mathcal{T} satisfies the dual condition. By assumption, \mathbb{C} is bi-quasi-pointed. We show that 0\in \mathcal{T} and 1\in \mathcal{F}. By Lemma 2.20, all objects in \mathcal{T}\cap \mathcal{F} are isomorphic to an object Z which is terminal in \mathcal{T} and initial in \mathcal{F}. Consider the short exact sequence T^0\xrightarrow[]{\ell} 0\xrightarrow[]{r}F^0 associated to 0. The morphism r is the unique morphism from 0 to F^0, so it needs to coincide with the composite 0\xrightarrow[]{r^1} Z\xrightarrow[]{r^2} F^0, where r^1 is given by the fact that 0 is initial in \mathbb{C} and r^2 by the fact that Z is initial in \mathcal{F}. Then r is null, whence \ell needs to be an isomorphism (as identities give kernels of null maps). So 0\in \mathcal{T}. Analogously, 1\in \mathcal{F}. We thus have that \mathcal{T} has initial object given by 0 and terminal object given by Z. By the proof of Lemma 2.20, all morphisms in \mathcal{T} going into Z are epi. Moreover, all morphisms in \mathcal{T} going out from 0 are mono, because this is true in \mathbb{C} by assumption. So \mathcal{T} is bi-quasi-pointed. Analogously, \mathcal{F} is bi-quasi-pointed. And we conclude.

Every pointed category is bi-quasi-pointed, by Remark 3.8, so every rectangular torsion theory is symmetrical thanks to Proposition 3.9. Moreover, every 1-cell in \mathbf{PTor}_{\operatorname{R}} between rectangular torsion theories preserves the zero object. Indeed, it needs to preserve torsion objects and torsion-free objects, whence also the objects in the intersection \mathcal{T}\cap\mathcal{F}=\0. So every every 1-cell in \mathbf{PTor}_{\operatorname{R}} between rectangular torsion theories is a 1-cell in \mathbf{PTor}_{\operatorname{SR}}.

We first prove that M is a (strict) 2-monad. If \mathbb{C} is a bi-quasi-pointed category, also \mathbb{C}\times_{}\mathbb{C} is such, with 0=(0,0) and 1=(1,1). The unique map from (0,0) to (1,1) is componentwise mono and epi, and thus mono and epi. If G preserves 0 and 1 then also G\times_{} G preserves 0 and 1. It is straightforward to see that M is a 2-functor. We define the unit \eta\:\operatorname{Id}_{} \ext@arrow 0055{\Rightarrowfill@}{}{}M to have component on \mathbb{C} given by the diagonal functor \eta_\mathbb{C}\:\mathbb{C}\to \mathbb{C}\times_{}\mathbb{C}. Of course \eta_\mathbb{C} preserves 0 and 1, and \eta is 2-natural. We then define the multiplication \mu\:M^2 \ext@arrow 0055{\Rightarrowfill@}{}{}M to have component on \mathbb{C} given by the projection functor

on the first and fourth components. Of course \mu_C preserves 0 and 1. It is straightfoward to show that \mu is a 2-natural transformation. The unit axioms of 2-monad

are satisfied because for every X,Y\in \mathbb{C}\times_{}\mathbb{C} we have

(and analogously for morphisms). The other axiom

is satisfied because for every (X_1,\ldots,X_8) we have

So M is a 2-monad.

We now prove that the 2-category \mathbf{PTor}_{\operatorname{SR}} is 2-equivalent over \mathbf{BiQPointCat} to the 2-category \ensuremath{\IfBooleanT{+}{\mathbf{Ps}\mbox{-}}{#3}\mbox{-}\mathbf{\IfBooleanT{#2}{Co}Alg}} {M} of pseudo-algebras of M. Notice that we have a forgetful 2-functor \mathbf{PTor}_{\operatorname{SR}}\to \mathbf{BiQPointCat}, thanks to Proposition 3.9.

We start showing that every symmetrical rectangular pretorsion theory (\mathbb{C},\mathcal{T},\mathcal{F}) gives a pseudo-algebra for M. Let \Gamma\: \mathbb{C} \to \mathcal{T} \times_{} \mathcal{F}\:\Gamma' be the adjoint equivalence of categories associated to (\mathbb{C},\mathcal{T},\mathcal{F}) (it can always be made into an adjoint equivalence). We construct a pseudo-algebra

We define the functor Q\: \mathbb{C} \to \mathbb{C} \times_{} \mathbb{C} as the composite

So Q sends (X,Y)\in \mathbb{C} \times_{} \mathbb{C} to \Gamma'(T^X, F^Y). Notice that Q preserves 0 and 1. Indeed, Q(0,0)=\Gamma'(0,Z)\cong 0, because \Gamma'(0,Z) sits in a short exact sequence 0\xrightarrow[]{l} \Gamma'(0,Z) \xrightarrow[]{r} Z and r is null so l needs to be an isomorphism. Analogously Q(1,1)= \Gamma'(Z,1)\cong 1. We then define Q_\mu\: Q \circ (Q \times_{} Q) \Rightarrow Q \circ \pi_{1,4} as the pasting

So given X_1,X_2,X_3,X_4\in \mathbb{C}, Q_{\mu} has component

Moreover, we define Q_\eta\: \operatorname{id}_{\mathbb{C}}\Rightarrow Q \circ \eta_{\mathbb{C}} as the pasting

So, given x\in\mathbb{C}, Q_{\eta} has component

It is then straightforward to check that Q_\mu and Q_\eta satisfy the required coherence conditions using the naturality of \operatorname{counit} and the triangular identities of the adjunction \Gamma\dashv\Gamma'. Hence, (\mathbb{C},Q, Q_\mu, Q_\eta) is a pseudo-algebra for M.

We now prove that every morphism G\colon (\mathcal{C},\mathcal{T},\mathcal{F})\to (\mathcal{D},\mathcal{T}',\mathcal{F}') between symmetrical rectangular pretorsion theories gives a pseudo-morphism between pseudo-algebras. Let \Gamma \colon \mathbb{C} \to \mathcal{T} \times \mathcal{F} and \Delta \colon \mathbb{D} \to \mathcal{T}' \times \mathcal{F}' be the associated adjoint equivalences, and (\mathbb{C}, Q\colon \mathbb{C} \times \mathbb{C} \to \mathbb{C}, Q_{\mu}, Q_{\eta}) and (\mathbb{D}, R\colon \mathbb{D} \times \mathbb{D} \to \mathbb{D}, R_{\mu}, R_{\eta}) be the pseudo-algebras corresponding to (\mathcal{C},\mathcal{T},\mathcal{F}) and (\mathcal{D},\mathcal{T}',\mathcal{F}'), defined as above. We construct a natural transformation

##1##2##3##4##5##6##7##8 #1

It is easy to see that the 2-monad M\:\mathbf{BiQPointCat}\to \mathbf{BiQPointCat} of Theorem 3.11 restricts to the 2-monad M^\ast of the statement. It is also straightforward to see that the proof of Theorem 3.11 restricts to a proof of this theorem. Here, 0, 1 and Z all coincide with the zero object. Moreover, any morphism between rectangular torsion theories preserves the zero object, by Proposition 3.10. Rather than using the definition of symmetrical rectangular pretorsion theory, we apply Proposition 3.2.

By the theory of 2-monads, the forgetful 2-functor \ensuremath{\IfBooleanT{+}{\mathbf{Ps}\mbox{-}}{#3}\mbox{-}\mathbf{\IfBooleanT{#2}{Co}Alg}} {M}\to \mathbf{BiQPointCat} has a left bi-adjoint, given by sending \mathbb{C}\in \mathbf{BiQPointCat} to the free M-algebra on \mathbb{C}, which coincides with calculating M(\mathbb{C}) and endowing it with the algebra structure map Q=\mu_\mathbb{C}\:M^2(\mathbb{C})\to M(C). By Theorem 3.11, which shows a 2-equivalence over \mathbf{BiQPointCat}, we conclude that the forgetful 2-functor \mathbf{PTor}_{\operatorname{SR}}\to \mathbf{BiQPointCat} has the same left bi-adjoint, up to postcomposing with the 2-equivalence \xi\: \ensuremath{\IfBooleanT{+}{\mathbf{Ps}\mbox{-}}{#3}\mbox{-}\mathbf{\IfBooleanT{#2}{Co}Alg}} {M}\approx \mathbf{PTor}_{\operatorname{SR}}.

Analogously for the forgetful 2-functor \mathbf{Tor}_{\operatorname{R}}\to \mathbf{PointCat}, thanks to Theorem 3.12.

It is known that (pseudo-)monadic 2-functors create bilimits, see [O21, Theorem 6.3.1.6].