åè«ãå¤åéã«æ®åãã¦30å¹´ãçµãç¾å¨ã誰ããèªããåè«ã®æ¬ãå¿ è¦ã ââæ¬æ¸ã¯ãã®ã¢ããã¼ã·ã§ã³ã§å·çããããäºåç¥èãã»ã¨ãã©ãªãèªè ã®ããã«ãä¾ã¨ãã¦åé åºéåã¨å群ãã¼ããã説æãããæå¾ã¾ã§ããããç¨ãã¦è©±ãå±éããã¦ããããããã®ã»ãã«ãä¾ãè±å¯ã«åãä¸ãããã¦ããããªããäºåç¥èãã»ã¨ãã©å¿ è¦ãªãã¨ã¯ãããæ°å¦çãªå³å¯æ§ã¯æãªããã¦ããªãããã¹ã¦ã®éè¦ãªå½é¡ã¨å®çã«ã¯å®å ¨ãªè¨¼æãä»ããã¦ãããæ¬æ¸ã¯æ å ±ç§å¦ãè«çå¦ãªã©ããã¾ãã¾ãªåéã¸å½¹ç«ã¦ãããã§ãããã (Steve Awodey :Category Theoryã2nd editionã Oxford University Pressã 2010) 第ï¼ç« ãå 1.1ãåºè« 1.2ãéåã®åå 1.3ãåã®å®ç¾© 1.4ãåã®ä¾ 1.5ãåå 1.6ãåã®æ§æ 1.7ãèªç±å 1.8ãåºæ¬ï¼ã©ã¼ã¸ï¼ã¹ã¢ã¼ã«ï¼å±æã¹ã¢ã¼ã«
{{#tags}}- {{label}}
{{/tags}}