åœè«–ã«æœ€çŸã§å…¥é–€ã™ã‚‹ - 俺㮠Colimit を越ãˆã¦ã‚†ã‘ã¯ã˜ã‚㫠対象èªè€… æ•°å¦ä»¥å‰ æ•°å¦ã®åŸºç¤Ž ホモãƒã‚¸ãƒ¼ä»£æ•° åœè«– ã‚‚ã£ã¨æ‰‹å–ã‚Šæ—©ãåœè«–ã®å‹‰å¼·ã‚’始ã‚ãŸã„人㸠ãŠã‚り㫠紹介ã—ãŸæ›¸ç± ã¯ã˜ã‚ã« ç§ãŒåœè«–ã¨ã„ã†åˆ†é‡Žã‚’知るãã£ã‹ã‘ã¯ã€ãŠãらãã“ã®æ–‡ç« ã‚’èªã‚“ã§ã„ã‚‹ã»ã¨ã‚“ã©ã®äººã¨åŒæ§˜ã« Haskell ã®å‹‰å¼·ã‚’ã—ãŸã“ã¨ãŒãã£ã‹ã‘ã§ã—ãŸã€‚ Haskell ã®ãƒ¢ãƒŠãƒ‰ãªã©ã‚’利用ã™ã‚‹ä¸Šã§ã¯åœè«–ã‚’ç†è§£ã™ã‚‹å¿…è¦ã¯å…¨ããªã„ã®ã§ã™ãŒã€åž‹ã‚·ã‚¹ãƒ†ãƒ や処ç†ç³»ã«é–¢ã—ã¦è©³ã—ã知りãŸãã¦è«–文をèªã‚€ã¨åœè«–ã®è¨€è‘‰ãŒæ™®é€šã«ä½¿ã‚ã‚Œã¦ã„ã¦ã€ç†è§£ã§ããšã«æ–念ã—ã¦ã„ã¾ã—ãŸã€‚ ãã“ã§ã€å½“時数人ãŒé›†ã¾ã£ã¦ã‚„ã£ã¦ã„ãŸåœè«–勉強会ã«å‚åŠ ã—ã¦åœè«–ã®å‹‰å¼·ã‚’始ã‚ã¾ã—ãŸã€‚当時èªã‚“ã§ã„ãŸæ›¸ç±ã¯ Conceptual Mathematics: A First Introduction to Categories ã§ã—ãŸã€‚ã“ã®æœ¬ã¯åœè«–ã®åˆå¦è€…å‘ã‘ã«æ›¸ã‹ã‚ŒãŸæœ¬ã§ã€æ•°å¦çš„ãªçŸ¥è˜ã‚’ã»ã¨ã‚“ã©ä»®å®šã›ãšã«ç†è§£ã§ãるよã†ã«æ›¸ã‹ã‚Œ
{{#tags}}- {{label}}
{{/tags}}