مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Verion

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Version

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

View:

545
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download:

159
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Cites:

Information Journal Paper

Title

ADJOINT RELATIONS FOR THE CATEGORY OF LOCAL DCPOS

Pages

  89-105

Abstract

 In this paper, we consider the FORGETFUL FUNCTOR from the category LDCPOof local DCPOs (respectively, DCPO of DCPOs) to the category Pos of posets (respectively, LDCPO of local DCPOs), and study the existence of its left and right adjoints. Moreover, we give the concrete forms of free and cofreeS-lDCPOs over a local DCPO, where S is a local DCPO monoid. The main results are: (1) The FORGETFUL FUNCTORU: LDCPO ®Pos has a left adjoint, but does not have a right adjoint; (2) The inclusion functorI: DCPO®LDCPOhas a left adjoint, but does not have a right adjoint; (3) The FORGETFUL FUNCTORU: LDCPO-S ®LDCPO has both left and right adjoints; (4) If (S, 0, 1) is a good lDCPO-monoid, then the FORGETFUL FUNCTOR U: LDCPO-S ®Pos-S has a left adjoint.

Cites

  • No record.
  • References

  • No record.
  • Cite

    APA: Copy

    ZHAO, BIN, LU, JING, & WANG, KAIYUN. (2017). ADJOINT RELATIONS FOR THE CATEGORY OF LOCAL DCPOS. CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS, 7(SUPP.), 89-105. SID. https://sid.ir/paper/255409/en

    Vancouver: Copy

    ZHAO BIN, LU JING, WANG KAIYUN. ADJOINT RELATIONS FOR THE CATEGORY OF LOCAL DCPOS. CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS[Internet]. 2017;7(SUPP.):89-105. Available from: https://sid.ir/paper/255409/en

    IEEE: Copy

    BIN ZHAO, JING LU, and KAIYUN WANG, “ADJOINT RELATIONS FOR THE CATEGORY OF LOCAL DCPOS,” CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS, vol. 7, no. SUPP., pp. 89–105, 2017, [Online]. Available: https://sid.ir/paper/255409/en

    Related Journal Papers

    Related Seminar Papers

  • No record.
  • Related Plans

  • No record.
  • Recommended Workshops






    Move to top
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button