Loading AI tools
来自维基百科,自由的百科全书
數學分支範疇論中,兩個範疇之積,是集合的笛卡兒積的延申。乘積以表示,其結果又稱積範疇[1](英語:product category)。定義雙函子及多函子時,要用到積範疇。[2]
積範疇的組成部分有:
兩個小範疇之積,是其作為小範疇範疇的物件的乘積。定義域為積範疇的函子,也稱為雙函子。重要例子有Hom函子,其定義域為某範疇及其對偶範疇之積:
正如二元笛卡兒積可以推廣到n元笛卡兒積,範疇的二元積亦同樣可以推廣到元積。若不別同構之異,則二元範疇積可交換及可結合,故此元推廣在理論上並無定義額外的新事物。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.