@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math0004641>
  skos:prefLabel "module"@en, "مدول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008565>
  skos:prefLabel "رسته نشان‌دار"@fa, "pointed category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/mathpro2001> skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .
<http://www.irandoc.acir/onto/irandoc/math0008555>
  skos:prefLabel "رسته پیش‌آبلی"@fa, "pre-abelian category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0004978>
  skos:prefLabel "دستگاه مستقیم"@fa, "direct system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008564>
  skos:prefLabel "رسته میدان‌ها"@fa, "category of fields"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008573>
  skos:prefLabel "نظریه رسته"@fa, "category theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008796>
  skos:prefLabel "ابر‌گروه رابطه‌ای"@fa, "relational hypergroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/mathpro457> skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .
<http://www.irandoc.acir/onto/irandoc/math0008563>
  skos:prefLabel "رسته مدول‌ها"@fa, "modules category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0004980>
  skos:prefLabel "دستگاه وارون"@fa, "inverse system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008569>
  skos:prefLabel "زیررسته"@fa, "subcategory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0003631>
  skos:prefLabel "رسته سادکی"@fa, "simplicial category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008553>
  skos:prefLabel "رسته پیش جمعی"@fa, "pre-additive category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008559>
  skos:prefLabel "رسته کلیسلی"@fa, "kleisli category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0007229>
  skos:prefLabel "حساب لاندا"@fa, "lambda calculus"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008562>
  skos:prefLabel "رسته مجموعه‌ها"@fa, "category of sets"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0005041>
  skos:prefLabel "جبر مانستگی"@fa, "homological algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008552>
  skos:prefLabel "رسته بسته"@fa, "closed category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008558>
  skos:prefLabel "رسته فضاهای توپولوژیکی"@fa, "category of topological spaces"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0003698>
  skos:prefLabel "رسته دوم"@fa, "second category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/mathpro3281> skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .
<http://www.irandoc.acir/onto/irandoc/math0008561>
  skos:prefLabel "رسته مثلثی"@fa, "triangulated category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008548>
  skos:prefLabel "اف-جبر"@fa, "f-algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008570>
  skos:scopeNote "رده ای از اشیاء همراه با مجموعه ای از ریختارها، هر جفت از آن اشیاء با قانون ترکیب برای ریختارها تشکیل رسته مهمی می دهند."@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0008562>, <http://www.irandoc.acir/onto/irandoc/math0008563>, <http://www.irandoc.acir/onto/irandoc/math0008548>, <http://www.irandoc.acir/onto/irandoc/math0008565>, <http://www.irandoc.acir/onto/irandoc/math0008556>, <http://www.irandoc.acir/onto/irandoc/math0008561>, <http://www.irandoc.acir/onto/irandoc/math0008552>, <http://www.irandoc.acir/onto/irandoc/math0008557>, <http://www.irandoc.acir/onto/irandoc/math0008560>, <http://www.irandoc.acir/onto/irandoc/math0008553>, <http://www.irandoc.acir/onto/irandoc/math0008569>, <http://www.irandoc.acir/onto/irandoc/math0008555>, <http://www.irandoc.acir/onto/irandoc/math0008550>, <http://www.irandoc.acir/onto/irandoc/math0008551>, <http://www.irandoc.acir/onto/irandoc/math0008558>, <http://www.irandoc.acir/onto/irandoc/math0008564>, <http://www.irandoc.acir/onto/irandoc/math0008566>, <http://www.irandoc.acir/onto/irandoc/math0008559> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0005041>, <http://www.irandoc.acir/onto/irandoc/math0007229>, <http://www.irandoc.acir/onto/irandoc/math0004641>, <http://www.irandoc.acir/onto/irandoc/math0004980>, <http://www.irandoc.acir/onto/irandoc/math0008796>, <http://www.irandoc.acir/onto/irandoc/math0003631>, <http://www.irandoc.acir/onto/irandoc/math0008523>, <http://www.irandoc.acir/onto/irandoc/math0003698>, <http://www.irandoc.acir/onto/irandoc/math0004978> ;
  skos:prefLabel "رسته"@fa, "category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008573> .

<http://www.irandoc.acir/onto/irandoc/math0008523>
  skos:prefLabel "اشیا"@fa, "objects"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008551>
  skos:prefLabel "رسته آزاد"@fa, "free category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008557>
  skos:prefLabel "رسته حلقه‌های جابجایی"@fa, "category of commutative rings"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008560>
  skos:prefLabel "رسته گروه‌ها"@fa, "category of groups"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008566>
  skos:prefLabel "رسته واقعی"@fa, "concrete category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008550>
  skos:prefLabel "رسته آبلی"@fa, "abelian category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/math0008556>
  skos:prefLabel "رسته جمعی"@fa, "additive category"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008570> .

<http://www.irandoc.acir/onto/irandoc/mathpro453> skos:related <http://www.irandoc.acir/onto/irandoc/math0008570> .