Finitely presentable objects in {\rm(}Cb\text{-}{\bf Sets}{\rm)}_{_{\rm fs}}

  • سال انتشار: 1403
  • محل انتشار: مجله نظریه رسته ها و ساختارهای کلی جبری با کاربردها، دوره: 21، شماره: 1
  • کد COI اختصاصی: JR_CGASAT-21-1_006
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 148
دانلود فایل این مقاله

نویسندگان

Mahdieh Haddadi

Department of Mathematics, Faculty of Mathematics, Statistics and Computer Sciences, Semnan University, Semnan, Iran.

Khadijeh Keshvardoost

Department of Mathematics, Velayat University, Iranshahr, Sistan and Balochistan, Iran.

Aliyeh Hosseinabadi

Faculty of Mathematics, Statistics and Computer Sciences, Department of Mathematics, Semnan University, Semnan, Iran.

چکیده

Pitts generalized nominal sets to finitely supported Cb-sets by utilizing the monoid Cb of name substitutions instead of the monoid of finitary permutations over names. Finitely supported Cb-sets provide a framework for studying essential ideas of models of homotopy type theory at the level of convenient abstract categories.   Here, the interplay of two separate categories of finitely supported actions of a submonoid of {\rm End}(\mathbb {D}), for some countably infinite set \mathbb {D}, over sets is first investigated. In particular, we specify the structure of free objects.Then, in the category of finitely supported Cb-sets, we characterize the finitely presentable objects and provide a generator in this category.

کلیدواژه ها

Finitely supported M-sets, Finitely supported Cb-sets, nominal sets, finitely presentable Cb-sets

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.