We construct a 2-equivalence $\mathfrak{CohTheory}^\text{op} \simeq \mathfrak{TypeSpaceFunc}$. Here $\mathfrak{CohTheory}$ is the 2-category of positive theories and $\mathfrak{TypeSpaceFunc}$ type space functors. give precise definition interpretations for logic, which will be 1-cells in $\mathfrak{CohTheory}$. The 2-cells are definable homomorphisms. restricts to duality categories, making ph...

Let $$(Lv)(t)=sum^{n} _{i,j=1} (-1)^{j} d_{j} left( s^{2alpha}(t) b_{ij}(t) mu(t) d_{i}v(t)right),$$ be a non-selfadjoint differential operator on the Hilbert space $L_{2}(Omega)$ with Dirichlet-type boundary conditions. In continuing of papers [10-12], let the conditions made on the operator $ L$ be sufficiently more general than [11] and [12] as defined in Section $1$. In this paper, we estim...