[B! åœè«–] gologo13ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

gologo13 id:gologo13

åœè«–ã«é–¢ã™ã‚‹gologo13ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (5)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

åœè«–ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ - è¥¿å°¾æ³°å’Œã®ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼
ã‚»ã‚ãƒ¥ãƒªãƒ†ã‚£ï¼†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚ãƒ£ãƒ³ãƒ—ã®ãƒ’ãƒˆã‚³ãƒž åœè«–ã¨ãƒ¢ãƒŠãƒ‰ã®è©±ã‚’ã—ã¦ã„ã¦ã€ãµã¨æ°—ã¥ã„ãŸã‚‰åƒ•ã‚ˆã‚Šãƒ¢ãƒŠãƒ‰ã«è©³ã—ã„äººãŒã„ã‚‹ã‚“ã ã‹ã‚‰ç©å¹´ã®ç–‘å•ã‚’ã¶ã¤ã‘ã¦ã¿ã‚‹ã¹ãã ï¼ã¨æ€ã£ã¦ã€Œãƒ¢ãƒŠãƒ‰ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ã ã¨æ€ã†ã‚“ã ã€ã¨è¨€ã£ãŸã‚‰ @yugui ã€Œä»£æ•°çš„æ§‹é€ ã£ã¦ã®ã¯ã¤ã¾ã‚‹ã¨ã“ã‚å…·è±¡ã‚’é›¢ã‚Œã¦å…¨ä½“çš„ãªæ§‹é€ ã®è©±ã‚’ã™ã‚‹ã¨ã„ã†ã“ã¨ãªã®ã§ã€ä»£æ•°çš„æ§‹é€ ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ã€ãªã‚‹ã»ã©ã€‚ RT @kinaba: åœè«–ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³ã€‚ http://twitter.com/yugui/status/21110119157 ã¨ã„ã†çµè«–ã«ãªã£ãŸã€‚ã¨ã¦ã‚‚ã™ã£ãã‚Šã—ãŸã€‚
gologo13 2010/08/19
åœè«–

ãƒ‡ã‚¶ã‚¤ãƒ³ãƒ‘ã‚¿ãƒ¼ãƒ³
ãƒªãƒ³ã‚¯
åŒãƒ¢ãƒŽã‚¤ãƒ‰ã®ç°¡å˜ãªä¾‹ -- è‡ªç„¶æ•°ã®è¶³ã—ç®—ã¨ä½™è¶³ã—ç®— - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
[è¿½è¨˜ date="ç¿Œæ—¥"]çµµã‚’å…¥ã‚Œã¦ã€é–“é•ã„ã‚’ä¿®æ£ã—ã€å°‘ã—ã ã‘æ–‡è¨€ã‚’å¤‰ãˆã¾ã—ãŸã€‚[/è¿½è¨˜] ã‚¨ãƒ•ã‚¤ãƒé–¢ä¿‚ã§åå‰ã‚’å‡ºã—ãŸã“ã¨ãŒã‚ã‚‹ã‚³ãƒ³ãƒŒï¼ˆAlain Connesï¼‰ã‚„ãƒžãƒ‹ãƒ³ï¼ˆYuri Maninï¼‰ãŒã€æœ€è¿‘ã¯è¨ˆç®—ï¼ˆcomputationï¼‰ã‚„ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã«èˆˆå‘³ã‚’æŒã£ã¦ã„ã‚‹ã‚ˆã†ã§ã™ã€‚å ´ã®é‡åè«–ã¨ã‹ãƒ•ã‚¡ã‚¤ãƒ³ãƒžãƒ³ãƒ»ã‚°ãƒ©ãƒ•ãªã‚“ã‹ã¨ä¸€ç·’ã«ã€åŽŸå§‹å¸°ç´é–¢æ•°ã¨ã‹ãƒ«ãƒ³ã‚²ã‚¯ãƒƒã‚¿æ³•ã¨ã‹ã‚’è©±é¡Œã«ã—ã¦ã„ã‚‹è«–æ–‡ãŒã‚ã‚Šã¾ã™ã€‚ãªã‚“ã ã‹ã‚µãƒƒãƒ‘ãƒªåˆ†ã‹ã‚Šã¾ã›ã‚“ã‚ã€‚ã§ã‚‚ã€é“å…·ç«‹ã¦ã«åŒä»£æ•°ã‚„ãƒ›ãƒƒãƒ—ä»£æ•°ã‚’ä½¿ã†ã‚‰ã—ã„ã“ã¨ã¯èªã¿å–ã‚Œã¾ã™ã€‚ ã¨ã‚Šã‚ãˆãšåŒä»£æ•°ã®ç°¡å˜ãªä¾‹ã‚’ä½œã£ã¦ã¿ã‚ˆã†ã¨ã—ãŸã®ã§ã™ãŒã€è‡ªæ˜Žã§ã¯ãªã*1ç·šå½¢ä»£æ•°ã‚„ç¾¤è«–ã®çŸ¥è˜ãªã—ã§ä½œã‚Œã‚‹åŒä»£æ•°ãŒãªã‹ãªã‹è¦‹ã¤ã‹ã‚Šã¾ã›ã‚“ã€‚é›†åˆåœã§ã¯ãªãã¦ã€ãƒ™ã‚é›†åˆãƒ¢ãƒŠãƒ‰ã®ã‚¯ãƒ©ã‚¤ã‚¹ãƒªåœã€ã¤ã¾ã‚Šéžæ±ºå®šæ€§å†™åƒã®åœãªã‚‰å°å¦æ ¡ãƒ¬ãƒ™ãƒ«ã®äºˆå‚™çŸ¥è˜ã§åŒä»£æ•°ãŒä½œã‚Œã¾ã™ã€‚è‡ªç„¶æ•°ï¼ˆ0, 1, 2, ...ï¼‰ã®è¶³ã—ç®—ä»¥å¤–ã¯ä½•ã‚‚ä½¿
gologo13 2010/08/18
åœè«–
ãƒªãƒ³ã‚¯
Amazon.co.jp: Categories for the Working Mathematician (Graduate Texts in Mathematics, 5): Mac Lane, Saunders: æœ¬
gologo13 2010/03/07
amazon

3æ¬²ã—ã„

åœè«–
ãƒªãƒ³ã‚¯
Amazon.co.jp: ãƒªã‚¹ãƒˆãƒžãƒ‹ã‚¢
PDFãŒå…¥æ‰‹å¯èƒ½ãªåœè«–æ›¸ç± yamasushi "yamashuu" Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) "åœè«–ã®åŸºç¤Žã¨å¿œç”¨ã¾ã§ã€‚å…¥é–€æ›¸ã¨ã—ã¦ã‚‚å¯ãƒ»ãƒ»ãƒ»ã‚‰ã—ã„ã€‚" Toposes, Triples and Theories "ãƒ¢ãƒŠãƒ‰ãŒã¾ã triplesã ã£ãŸã“ã‚ã®æœ¬ã€‚çµæ§‹ã€ã„ã„ã‹ã‚‚ã€‚" Abstract and Concrete Categories: The Joy of Cats (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts) "å…¥é–€ã«ã´ã£
gologo13 2010/03/07
åœè«–
ãƒªãƒ³ã‚¯
ã‚«ãƒ†ã‚´ãƒª (åœè«–), ãƒˆãƒã‚¹ã‚’çŸ¥ã‚‹ãŸã‚ã«èªã‚€æœ¬
ã‚«ãƒ†ã‚´ãƒª (åœè«–) ã¨ã¯ãƒ–ãƒ«ãƒã‚æµã®é›†åˆè«–ã¨ã¯å¯¾ç…§çš„ã«, å˜åœ¨ (é›†åˆ) ã§ã¯ãªã, é–¢ä¿‚ (å°„) ã‚’åŸºç¤Žã¨ã—ã¦æ•°å¦ã‚’å†å®šç¾©ã™ã‚‹ã‚‚ã®ã§ã™. å…ƒã€…ã¯ä»£æ•°å¹¾ä½•å¦ã®ä¸–ç•Œã‹ã‚‰å‡ºãŸã‚‚ã®ã§ã™ãŒ, è‡ªåˆ†ãŒé–¢å¿ƒãŒã‚ã‚‹ã®ã¯ãƒˆãƒã‚¹ãªã©åŸºç¤Žè«–çš„ãªæ–¹é¢ã§ã—ãŸ. è¨ˆç®—ã®æ„å‘³è«–ã‚„åž‹ç†è«–, ç·šå½¢ç†è«–ãªã©, è¨ˆç®—æ©Ÿç§‘å¦ã¨ã‚‚å¯†æŽ¥ãªé–¢ä¿‚ãŒã‚ã‚Šã¾ã™. èˆˆå‘³ã‹ã‚‰ã‚«ãƒ†ã‚´ãƒª (åœè«–) ã‚’å¦ã‚“ã§ã¿ã‚ˆã†ã¨æ€ã£ã¦ã„ã‚‹éžå°‚é–€å®¶ã®æ–¹ã®ãŸã‚ã«, æ‰‹å…ƒã«ã‚ã‚‹å‚è€ƒæ›¸ã‚’æŒ™ã’ã¦ã¿ã¾ã™. å±¤ãƒ»åœãƒ»ãƒˆãƒã‚¹ - ç¾ä»£çš„é›†åˆè±¡ã‚’æ±‚ã‚ã¦, ç«¹å†…å¤–å², æ—¥æœ¬è©•è«–ç¤¾, 1978 å¤å…¸çš„ãª (æ—¥æœ¬èªžã®) ãƒ†ã‚ã‚¹ãƒˆã§ã™ã. åƒ•ã¯å¤šåˆ†ã“ã‚Œã‚’èªã‚“ã§åœè«–ã‚’çŸ¥ã£ãŸã¨æ€ã†. ã¶ã£é£›ã‚“ã . åœè«–ã®åŸºç¤Ž, S.ãƒžãƒƒã‚¯ãƒ¬ãƒ¼ãƒ³, ã‚·ãƒ¥ãƒ—ãƒªãƒ³ã‚¬ãƒ¼ãƒ»ãƒ•ã‚§ã‚¢ãƒ©ãƒ¼ã‚¯, 2005 ã“ã‚Œã“ãå¤å…¸çš„ãªãƒ†ã‚ã‚¹ãƒˆã®ç¬¬2ç‰ˆ. "Categories for the Working Mathematician
gologo13 2010/03/07
åœè«–

math
ãƒªãƒ³ã‚¯
1