سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

Login
PapersConferencesJournals

The symmetric monoidal closed category of cpo M-sets

Publish place: Categories and General Algebraic Structures with Applications، Vol: 13، Issue: 1
Publish Year: 1399
Type: Journal paper
Language: English
View: 209

This Paper With 20 Page And PDF Format Ready To Download

DOWNLOAD Paper

Export:

Link to this Paper:
https://civilica.com/doc/1323667

Document National Code:

JR_CGASAT-13-1_006

Index date: 28 November 2021

The symmetric monoidal closed category of cpo M-sets 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.

The symmetric monoidal closed category of cpo M-sets Keywords:

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

The symmetric monoidal closed category of cpo M-sets 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 ...
نمایش کامل مراجع