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

<http://www.irandoc.acir/onto/irandoc/MAT0008546>
  skos:prefLabel "تابعگون"@fa, "functor"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0001211>
  skos:prefLabel "fuctional analysis"@en, "آنالیز تابعی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0008572>
  skos:prefLabel "ریخت"@fa, "morphism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0007530>
  skos:prefLabel "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0008570>
  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/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0005041>
  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/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0007342>
  skos:prefLabel "نظریه انواع"@fa, "type theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0010142>
  skos:prefLabel "ریاضیات"@fa, "mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0008547>
  skos:prefLabel "Stone duality"@en, "دوگانی استون"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0005029>
  skos:prefLabel "commutative diagram"@en, "نمودار تعویض‌پذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008573> .

<http://www.irandoc.acir/onto/irandoc/MAT0004641>
  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/MAT0008573> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0008573>
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007530>, <http://www.irandoc.acir/onto/irandoc/MAT0005041>, <http://www.irandoc.acir/onto/irandoc/MAT0004641>, <http://www.irandoc.acir/onto/irandoc/MAT0005029>, <http://www.irandoc.acir/onto/irandoc/MAT0007342>, <http://www.irandoc.acir/onto/irandoc/MAT0001211>, <http://www.irandoc.acir/onto/irandoc/MAT0007229>, <http://www.irandoc.acir/onto/irandoc/MAT0007247> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0008547>, <http://www.irandoc.acir/onto/irandoc/MAT0008546>, <http://www.irandoc.acir/onto/irandoc/MAT0008523>, <http://www.irandoc.acir/onto/irandoc/MAT0008570>, <http://www.irandoc.acir/onto/irandoc/MAT0008572> ;
  skos:prefLabel "category theory"@en, "نظریه رسته"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0010142> ;
  skos:scopeNote "نظریه ای که در باره رسته ها و تابعگونها و روابط بین آنها بحث می کند."@fa .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007247>
  skos:prefLabel "categorical logic"@en, "منطق رسته‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0008573> .