集åˆã‹ã‚‰åœè«–ã¸ï¼šãƒŸã‚¯ãƒãªä¸–ç•Œã‹ã‚‰ã®å®‡å®™ã¸ã®æ—…ç«‹ã¡ï¼ˆï¼‘） - bitterharvest’s diary３．集åˆã®ä¸–ç•Œã‹ã‚‰åœè«–ã®ä¸–界㸠ã”ã¡ã‚ƒã”ã¡ã‚ƒã—ãŸãƒŸã‚¯ãƒã®ä¸–界をã‹ãªãã‚Šæ¨ã¦ã¦é›„大ãªãƒžã‚¯ãƒã®ä¸–界（宇宙）ã¸æ—…ç«‹ã¤ã“ã¨ã«ã—よã†ã€‚æ•°å¦ã§ã®ãƒŸã‚¯ãƒãªä¸–ç•Œã¯é›†åˆã§ã€é›„大ãªå®‡å®™ã¯åœè«–ã§ã‚る。集åˆã¯ã€è¦ç´ ã®é›†ã¾ã‚Šã¨ã—ã¦å®šç¾©ã•ã‚Œã‚‹ã€‚ã¾ãŸã€é›†åˆã‚’è«–ã˜ã‚‹ã¨ãã¯ã€ãã‚Œã¨ä¸€ç·’ã«é–¢æ•°(ã‚ã‚‹ã„ã¯å†™åƒ)ã‚‚å¦ã‚“ã ã“ã¨ã¨æ€ã†ã€‚関数ã¯äºŒã¤ã®é›†åˆã‚’çµã³ã¤ã‘ã‚‹ã‚‚ã®ã 。 åœè«–ã§ã¯ã€é›†åˆã«ç›¸å½“ã™ã‚‹ã‚‚ã®ã‚’対象(object)ã¨å‘¼ã³ã€é–¢æ•°ã«ç›¸å½“ã™ã‚‹ã‚‚ã®ã‚’å°„(morphism)ã¨å‘¼ã¶ã€‚集åˆã‚’è«–ã˜ã‚‹ã¨ãã¯ã€ãƒŸã‚¯ãƒãªä¸–ç•Œãªã®ã§ã€ãã®ä¸ã«å«ã¾ã‚Œã¦ã„ã‚‹è¦ç´ ãŒã¨ã¦ã‚‚é‡è¦ãªå½¹å‰²ã‚’ã™ã‚‹ã€‚ã—ã‹ã—ã€åœè«–ã§ã¯ã€ãƒžã‚¯ãƒãªä¸–界を論ã˜ã‚‹ã®ã§ã€å¯¾è±¡ã®ä¸èº«ã¯æ°—ã«ã—ãªã„ã“ã¨ã«ã™ã‚‹ã€‚Haskellã§ã¯ã€å¯¾è±¡ã‚’タイプã¨ã—ã¦è¡¨ã™ãŒã€å¸¸ã«ã€ã‚¿ã‚¤ãƒ—ã‚’æ°—ã«ã—ã€ãã®æ§‹æˆè¦ç´ ã«å¯¾ã—ã¦ã¯ãŸã„ã—ã¦æ³¨æ„を払ã‚ãªã„。 今回ã®è¨˜äº‹ã§ã¯ã€é›†åˆã‚’æ¨ã¦ã¦å¯¾è±¡ã«ã€é–¢æ•°ã‚’æ¨ã¦ã¦å°„ã«ã€ä¹—り移れるãŸã‚ã®æº–備を
GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
物ç†å¦è€…ã®ãŸã‚ã®åœè«–入門
Coyoneda ã£ã¦â€¦â€¦ ãŠå‰ functor ãŒãƒ‡ãƒ¼ã‚¿æ§‹é€ ã«ãªã£ãŸã ã‘ã‚„ã‚“ã‘ï¼ï¼ - ryota-ka's blog
ã¯ã˜ã‚ã¦ã®åœè«– ãã®ç¬¬1æ©ï¼šã—ã‚Šã¨ã‚Šã®åœ - 檜山æ£å¹¸ã®ã‚マイラ飼育記
{{#tags}}- {{label}}
{{/tags}}