米田ã®ãƒ¬ãƒ³ãƒžã®ã‚¤ãƒ¡ãƒ¼ã‚¸å›³ - Pixel Pedals of Tomakomai米田ã®ãƒ¬ãƒ³ãƒž(層・åœãƒ»ãƒˆãƒã‚¹â€•ç¾ä»£çš„集åˆåƒã‚’求ã‚ã¦ã®P.71)ãŒã©ã†ã‚‚ä¸æ€è°ãªå®šç†ã«æ„Ÿã˜ãŸã®ã§ã€ã‚¤ãƒ¡ãƒ¼ã‚¸å›³ã‚’書ã„ã¦ã¿ã¾ã—ãŸã€‚ å…ƒã®åœã§ã¯ãªãã€Setsã®åœå†…ã®å›³ã¨ã—ã¦æ›¸ã„ã¦ã¾ã™ã€‚真んä¸ã®C(を関手Fã§ç§»ã—ãŸé›†åˆ)ãŒhom関手をã¨ã‚‹æ™‚ã«èµ·ç‚¹ã¨ãªã‚‹å¯¾è±¡ã§ã™ã€‚hom関手ã«ã‚ˆã£ã¦å„対象ã¯ã€å°„ã‚’æŸããŸé›†åˆã«ç§»ã‚Šã¾ã™ã€‚hom(C,A)ç‰ãŒãã‚Œã§ã™ã€‚ hom(C, -)ã¨Fã®é–“ã®è‡ªç„¶å¤‰æ›ã¯ã€ç·‘ã®çŸ¢å°ã¨é’ã®çŸ¢å°ã§ã™ã€‚ã‚‚ã¡ã‚ん表記ã¯çœç•¥ã—ã¦ã¾ã™ãŒã€äºŒã¤ã ã‘ã˜ã‚ƒãªããŸãã•ã‚“ã‚ã‚Šã¾ã™ã€‚ 例ãˆã°ã€ç·‘ã®è‡ªç„¶å¤‰æ›ã®å¯¾è±¡Aã®ã‚³ãƒ³ãƒãƒ¼ãƒãƒ³ãƒˆ(hom(C,A)ã‹ã‚‰FAã¸ã®çŸ¢å°)を考ãˆã‚‹ã¨ã€ã“ã‚Œã¯C→Aãªã‚‹å°„ã«å¯¾ã—ã¦FA上ã®å€¤ã‚’与ãˆã‚‹é–¢æ•°ã¨ãªã‚Šã¾ã™ã€‚ãã®ãŸã‚ã«ã¯ã€å°„ã®å‡ºå…ƒã§ã‚ã‚‹FC*1ã®å…ƒã‚’固定ã™ã‚‹ã¨ã‚ˆã•ã’ã§ã™ã€‚図ã§ã¯ç·‘ã®Xã¨ã—ã¦æ›¸ãã¾ã—ãŸã€‚ã“ã®ã€ç·‘ã®Xã¨ç·‘ã®çŸ¢å°ãŒå¯¾å¿œã™ã‚‹ã¨è¨€ã†ã®ãŒã€ç±³ç”°ã®ãƒ¬ãƒ³ãƒžã®ä¸»å¼µã¨ãªã‚Šã¾ã™ã€‚ レンマを
「ãƒã‚´ã‚¹ã€ã¨ã€Œãƒ¬ãƒ³ãƒžã€âˆ’風土ãŒã¤ãã‚‹æ€æƒ³ 鈴木 秀夫 æ°
{{#tags}}- {{label}}
{{/tags}}