ورود
مقالات فارسیISIکنفرانسهاژورنالها

The symmetric monoidal closed category of cpo M-sets

محل انتشار: مجله نظریه رسته ها و ساختارهای کلی جبری با کاربردها، دوره: 13، شماره: 1
سال انتشار: 1399
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 148

فایل این مقاله در 20 صفحه با فرمت PDF قابل دریافت می باشد

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

لینک ثابت به این مقاله:
https://civilica.com/doc/1323667

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

JR_CGASAT-13-1_006

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

چکیده مقاله:

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.

کلیدواژه ها:

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

نویسندگان

Halimeh Moghbeli

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • 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 ...
    • نمایش کامل مراجع