檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)2024-12-20 関手ã®ãƒ‡ã‚«ãƒ«ãƒˆå°„ã¨ãƒ•ã‚¡ã‚¤ãƒãƒ¼ä»˜ãåœ é›‘è¨˜ï¼å‚™å¿˜ ファイãƒãƒ¼ä»˜ãåœã€ˆ{fibred | fibered} category〉ã¯ã€åœè«–ã§é‡è¦ãªæ¦‚念ã§ã™ã€‚ファイãƒãƒ¼ä»˜ãåœã®å®Ÿä½“ã¯ï¼ˆåœã§ã¯ãªãã¦ï¼‰é–¢æ‰‹ã§ã™ã€‚ã¨ã‚る性質をæŒã¤æŒåˆ¥ãªé–¢æ‰‹ãŒãƒ•ã‚¡ã‚¤ãƒãƒ¼ä»˜ãåœã§ã™ã€‚「ã¨ã‚る性質ã€ã‚’記述ã™ã‚‹ãŸã‚ã«ã¯ã€é–¢æ‰‹ã«ä¼´ã†ãƒ‡ã‚«ãƒ«ãƒˆå°„ã¨ã„ã†æ¦‚念を… 2024-12-18 クランã€ãƒ•ã‚¡ã‚¤ãƒ–レーションã€ã‚¹ãƒ‘ン 雑記ï¼å‚™å¿˜ クラン〈clan〉ã¯ã€ã‚¸ãƒ§ã‚¤ã‚¢ãƒ«ã€ˆAndre Joyal〉ã«ã‚ˆã£ã¦å°Žå…¥ã•ã‚ŒãŸåœè«–çš„æ§‹é€ ã€ˆæ§‹é€ ä»˜ãã®åœã€‰ã§ã™ã€‚ジョイアルã¯ã€åž‹ç†è«–ã®ç†è«–〈theory of type theories〉ã®åŸºç¤Žã¨ã—ã¦ã‚¯ãƒ©ãƒ³ã‚’定義ã—ãŸã‚ˆã†ã§ã™ã€‚クランã¨ãã®åŒå¯¾ã§ã‚るコクランã¯åž‹ç†è«–や計算科å¦ã§æœ‰ç”¨â€¦ 2024-12-16 レンズï¼ãƒ—ãƒé–¢æ‰‹ã¨Web処ç†ã‚¢ãƒ¼ã‚テクãƒãƒ£ 雑記ï¼å‚™å¿˜ レンズを説明ã™ã‚‹ãŸã‚ã®äº‹ä¾‹ã¨ã—ã¦
{{#tags}}- {{label}}
{{/tags}}