Search results

Create the page "Category theory" on this wiki! See also the search results found.

Page title matches

• Books:An Introduction to Category Theory - Harold Simmons - 1st September 2010 edition
  267 B (44 words) - 09:35, 19 February 2016
• Category Theory (subject)
  ...by arrows, where arrows compose'''. In fact that is the definition of a [[category]], a thing with objects and arrows, where the arrows compose. The most familiar category to the reader will be [[SET (category)|{{M|\mathrm{SET} }}]]
  2 KB (311 words) - 11:46, 19 February 2016
• Wedge (category theory)
  For a pair of [[object|objects]] {{M|A}} and {{M|B}} in a [[category]] {{M|\mathscr{C} }} we define{{rAITCTHS2010}}: | ''({{AKA}}: [[cone (category theory)|cone]])''
  992 B (149 words) - 23:00, 28 February 2016
• Cone (category theory)
  ...the definitions for [[Cone (category theory)|cone]] and [[Cocone (category theory)|cocone]] are very similar and contrast each other well, see the page [[con Given two [[object (category theory)|objects]] {{M|A}}, {{M|B}} in a [[category]] {{M|\mathscr{C} }}, a ''cone''{{rAITCTHS2010}} is:
  1 KB (197 words) - 22:27, 28 February 2016
• Cocone (category theory)
  ...the definitions for [[Cone (category theory)|cone]] and [[Cocone (category theory)|cocone]] are very similar and contrast each other well, see the page [[con Given two [[object (category theory)|objects]] {{M|A}}, {{M|B}} in a [[category]] {{M|\mathscr{C} }}, a ''cocone''{{rAITCTHS2010}} is:
  1 KB (182 words) - 22:28, 28 February 2016
• Coproduct (category theory)
  ...fleshing out with things like notation, compared to [[Coproduct (category theory)|coproduct]] and such}} ...mpared]] for a definition written in parallel with the [[product (category theory)|product]] definition. This demonstrates how close the concepts are.
  1 KB (192 words) - 19:46, 1 March 2016
• Product (category theory)
  ...fleshing out with things like notation, compared to [[Coproduct (category theory)|coproduct]] and such}} ...mpared]] for a definition written in parallel with a [[coproduct (category theory)|coproduct]] definition. This demonstrates how close the concepts are.
  1 KB (192 words) - 23:32, 29 February 2016
• Isomorphism (category theory)
  ...athop{\longrightarrow}^fB}} and {{M|B\mathop{\longrightarrow}^g A}} in a [[category]] {{M|\mathscr{C} }}, we say that {{M|f}} and {{M|g}} are ''isomorphisms''{ * [[Types of category arrows]]
  753 B (117 words) - 14:19, 13 March 2016
• Co-product (category theory)
  #REDIRECT [[Coproduct (category theory)]] {{Definition|Category Theory}}
  72 B (7 words) - 20:12, 19 October 2016
• Initial and final compared (category theory)
  : This page shows {{link|Initial|category theory}} and {{link|Final|category theory}} side by side, for more details on each see their respective pages. Let {{M|\mathcal{C} }} be a [[category]] and let {{M|S\in\text{Ob}(\mathcal{C})}}, then we say {{M|S}} is:
  704 B (106 words) - 20:25, 15 November 2016
• Initial (category theory)
  : See [[initial and final compared (category theory)]] for this definition and its dual side by side ...y]] and let {{M|S\in\text{Ob}(\mathcal{C})}} be any {{link|object|category theory}} of {{M|\mathcal{C} }}. Then {{M|S}} is ''initial'' in {{M|\mathcal{C} }}
  817 B (122 words) - 20:30, 15 November 2016
• Final (category theory)
  : See [[initial and final compared (category theory)]] for this definition and its dual side by side ...y]] and let {{M|S\in\text{Ob}(\mathcal{C})}} be any {{link|object|category theory}} of {{M|\mathcal{C} }}. Then {{M|S}} is ''final'' (or ''terminal''{{rAITCT
  806 B (120 words) - 20:32, 15 November 2016
• Arrow (category theory)
  {{Definition|Category Theory}}
  53 B (5 words) - 15:10, 15 December 2017

Page text matches

• Main Page
  * Category * The category [[:Category:First-year friendly]] contains {{PAGESINCATEGORY:First-year friendly|pages}
  7 KB (999 words) - 16:51, 11 May 2020
• Homeomorphism
  : '''Note: ''' not to be confused with [[Homomorphism]] which is a [[Category Theory (subject)|categorical]] construct. ...isn't'' {{M|\simeq}} (which is typically used for [[isomorphism (category theory)|isomorphic spaces]]) as that notation is used almost universally for [[hom
  5 KB (731 words) - 22:58, 22 February 2017
• Injection
  ...rjection/injection/[[bijection]] to be seen through the lens of [[Category Theory]]. [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 21:50, 8 May 2018 (UTC) {{Definition|Set Theory}}
  3 KB (463 words) - 21:50, 8 May 2018
• Homomorphism
  * [[Homomorphism (category theory)]] - which all the following are instances of ...omomorphism types listed here are examples of morphism in their respective category.
  4 KB (532 words) - 22:04, 19 October 2016
• Function
  {{Definition|Set Theory}} [[Category:Exemplary pages]]
  4 KB (659 words) - 13:01, 19 February 2016
• Set theory axioms
  ...Only "major" results are shown, they are covered in the motivation for set theory page, and "D" denotes "definition" - which is something that is natural to | [[Motivation for set theory axioms#The empty set is unique|The empty set is unique]] can now be proved,
  3 KB (619 words) - 10:25, 11 March 2015
• Motivation for set theory axioms
  This will follow the same format as the start of the [[Set theory axioms|set theory axioms]] page [[Category:Set Theory]]
  3 KB (584 words) - 23:03, 28 February 2015
• Index of notation
  * Measure Theory * Measure Theory
  9 KB (1,490 words) - 06:13, 1 January 2017
• Sequence
  ...nce {{M|1=(A_i)_{i=1}^\infty}} is a function<ref>p46 - Introduction To Set Theory, third edition, Jech and Hrbacek</ref><ref name="Analysis">p11 - Analysis - {{Definition|Set Theory|Real Analysis|Functional Analysis}}
  2 KB (419 words) - 18:12, 13 March 2016
• Group
  {{Definition|Abstract Algebra|Group Theory}} {{Theorem Of|Abstract Algebra|Group Theory}}
  7 KB (1,332 words) - 07:17, 16 October 2016
• Measure Theory
  [[Category:Measure Theory]]
  4 KB (733 words) - 01:41, 28 March 2015
• Index of terms
  * Measure Theory [[Category:Subjects]]
  409 B (62 words) - 15:49, 13 March 2015
• Ring
  * [[:Category:Types of rings|Category for various types of rings]] {{Definition|Abstract Algebra|Ring Theory}}
  7 KB (1,248 words) - 05:02, 16 October 2016
• Integral domain
  {{Ring theory navbox}} {{Definition|Abstract Algebra|Ring Theory}}
  2 KB (327 words) - 11:09, 20 February 2016
• Index of properties
  | {{M|\backslash}}-closed<ref name="PTACC">Probability Theory - A comprehensive course - Second Edition - Achim Klenke</ref> [[Category:Index]]
  2 KB (360 words) - 20:43, 15 June 2015
• Site projects:Patrolling measure theory/Task list
  * [[Integral (measure theory)]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 02:01, 19 March * [[Integral of a simple function (measure theory)]] '''DONE''' [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 02:01, 19 March
  5 KB (645 words) - 11:40, 21 August 2016
• Index of common sigma-algebras
  [[Category:Index]] {{Definition|Measure Theory}}
  575 B (72 words) - 14:01, 18 March 2016
• Dynkin system
  {{Definition|Measure Theory}} [[Category:Exemplary pages]]
  1 KB (184 words) - 01:54, 19 March 2016
• Function terminology
  [[Category:Index]] {{Definition|Abstract Algebra|Set Theory|Measure Theory}}
  1 KB (165 words) - 02:07, 3 August 2015
• Borel sigma-algebra
  ...">Conventionally, {{M|\mathcal{J} }} denotes the open sets, but in measure theory this seems to denote the sets of half-open-half-closed rectangles, and it i {{Definition|Measure Theory}}
  5 KB (854 words) - 09:25, 6 August 2015