2014-04-01ãã1ã¶æéã®è¨äºä¸è¦§
ããã³ã½ã«åå æ³åã¨ããã°ã©ã æå³è«ãã§è¿°ã¹ãåå æ³åï¼semiadditive categoryï¼ã¨ãã³ã½ã«åå æ³åï¼tensor semiadditive categoryï¼ã®è¨ç®ããã§ããã§ãã¨ãã¦ãã¾ããå²ã¨æããç¥ã£ã¦ãããã®ãªãã§ãããããããã¦è¨ç®ãã¦ã¿ãã¨é¢ç½ããã¨ããã£â¦
ãã¯ãªã¼ã代æ°ã®ããã¹ãããåè«çã«å®ç¾©ã§ããã ãããï¼ãã«ã¦ï¼ é¶å¯¾è±¡ã¨åç©ãæã£ã¦ãã¦ãããçå¾ Î;â = id ãæç«ããåç©ã«é¢ãã¦ãã¬ã¼ã¹ãæã¤åCãããã°ãåã¨ã³ãã»ããC(A, A)ã«ã¯ãªã¼ã代æ°ã®æ§é ãå ¥ãããã¨ãã§ãã¾ããä»è¨ã£ãæ¡ä»¶ãæºâ¦
ãããããã¨ãã³ãã³ç¶æ ã«ãªã£ã¦ã¾ãããé±æ«ã«ã¡ãã£ã¨è¨ç®ãã¦ã¿ãããå¤ã®åã®æ§é ããè«çåç°ï¼ãåä½ã¨ä¸çã®é¢ä¿ï¼åããè«çåç°ãçµãåºãããåç §ï¼ãçµãåºããã¨ã¯ãã»ã¼ç®è«è¦éãã«ããããã§ããã¨ã¯ãããããã¤ãçåã¯æ®ã£ã¦ãã¾ãããâ¦
ãããããã®è¨äºããã¡ã¤ã³ä»ãã¯ãªã¼ã代æ°ãAlloyã§ãããã£ããã«æèãã¦ãããã¨ãè¸ãè¿ãã¦ããããã§ãããããããã¯ããAlloyã§ç´åãèãããã¨ããåãã®æãå ¥ãããããã¦ããã¾ããããã¯ãªã¼ã代æ°ã¨åè«ãã§ãåCã®æ§é ããã対象Aã®ã¨ã³â¦
ãã¯ãªã¼ã代æ°ã¨åè«ãã®ç¶ãã£ã½ã話ãæ¨æ¥ããããã«æãã¤ãã¾ã¾ããã¬ã¼ã¹ä»ãåã¨ã¯ãªã¼ã代æ°å¾©ç¿ï¼ é¶å¯¾è±¡ã¨åç©ãæã£ã¦ãã¦ãããçå¾ Î;â = id ãæç«ããåç©ã«é¢ãã¦ãã¬ã¼ã¹ãæã¤åCãããã°ãåã¨ã³ãã»ããC(A, A)ã«ã¯ãªã¼ã代æ°ã®æ§é ãå ¥â¦
ãããããï¼id:bonotakeï¼ããéåã¨å¤ããã¿ã«ãã©ãã¯ããã¯ãããã¾ãããã¯ãªã¼ã代æ°ã¨ããã¹ãä»ãã¯ãªã¼ã代æ°ã¨ã -- æãã話é¡ã«ãã¦ãããã©ãä»ã§ãèãã¦ãããã¿ã§ãããã§ãå²ã¨æãã¤ãã¾ã¾ã«ããã¤ã©æ¸ãã¦ã¿ã¾ãã[追è¨]ãã¹ãç´ãã¾ããâ¦
ãéåãã³ã³ãã¯ãåããæ¹æ³ãã«ããã¦ãéåXã {0, 1}X ã«åãè¾¼ãã§éå ãåãã¨ã³ã³ãã¯ãåãå¾ãããã ããã¨æ¸ãã¾ããããã®ã³ã³ãã¯ãåãã¹ãã¼ã³ï¼ãã§ãã¯ã»ã³ã³ãã¯ãåã¨ä¸è´ããã¨ã¯æã£ã¦ã¾ãããããªã«ããã極大ãã£ã«ã¿ã¼ï¼è¶ ãã£ã«ã¿â¦