The symmetric monoidal closed category of cpo M-sets

Publish Year: 1399
نوع سند: مقاله ژورنالی
زبان: English
View: 141

This Paper With 20 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

JR_CGASAT-13-1_006

تاریخ نمایه سازی: 7 آذر 1400

Abstract:

Abstract. In this paper, we show that the category of directed complete
posets with bottom elements (cpos) endowed with an action of a monoid M
on them forms a monoidal category. It is also proved that this category is
symmetric closed.

Keywords:

Directed complete partially ordered set , M-sets , symmetric monoidal closed category

Authors

Halimeh Moghbeli

Department of Mathematics, Faculty of Science, University of Jiroft, Jiroft, Iran

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Abramsky, S. and Jung, A., "Domain Theory", Handbook of logic ...
  • Borceux, F., "Handbook of Categorical Algebra ۱: Basic Category Theory", ...
  • Borceux, F., "Handbook of Categorical Algebra ۲: Categories and Structures", ...
  • Davey, B.A. and Priestly, H.A., "Introduction to Lattices and Order", ...
  • Day, B.J., On closed categories of functors, Reports of the ...
  • Ebrahimi, M.M. and Mahmoudi, M., The category of M-Sets, Ital. ...
  • Fiech, A., Colimits in the category Dcpo, Math. Structures Comput. ...
  • Jung, A., "Cartesian closed categories of Domain", Stichting Mathematisch Centrum, ...
  • Kilp, M., Knauer, U., and A. Mikhalev, "Monoids, Acts and ...
  • Mahmoudi, M. and Moghbeli, H., The category of S-acts in ...
  • Mahmoudi, M. and Moghbeli, H., The categories of actions of ...
  • Moghbeli-Damaneh, H., Actions of a separately cpo-monoid on pointed directed ...
  • Mac Lane, S., "Categories for the working mathematician". Vol.۵. Springer ...
  • Plotkin, G.D., A powerdomain construction. SIAM Journal on Computing, ۵ ...
  • Plotkin, G.D., A powerdomain for countable non-determinism. In M. Nielsen ...
  • Smyth, M.B., Powerdomains. Journal of Computer and Systems Sciences, ۱۶ ...
  • Streicher, T., "Domain-theoretic Foundations of Functional Programming". World Scientific, Singapore, ...
  • Tix, R., Keimel. K., and G. D. Plotkin, "Semantic Domains ...
  • نمایش کامل مراجع