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...

background: hla-g gene contains 15 alleles including a null allele, hla-g*0105n. previous studies have shown that hla-g*0105n does not encode the complete hla-g1 or hla-g5 isoforms but encodes a functional hla-g protein with the ability to in-hibit nk cell cytolysis. thus, although the biological functions of hla-g1 and hla-g5 proteins are abrogated, other isoforms such as hla-g2 can replace th...

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.

background: endometriosis is one of the most commonly encountered benign problems in gynaecology. it is frequently associated with chronic pelvic pain, dysmenorrhoea, menorrhagia and dyspareunia, which lead to infertility. we determined the possible association between cyp1a1 mspi and gstm1 null polymorphism in the pathogenesis of endometriosis. materials and methods: ninety seven cases of endo...