2023-08-01ãã1ã¶æéã®è¨äºä¸è¦§
次ã®2ã¤ã®éå»è¨äºã§åã°ã©ãï¼åä»ãåã°ã©ãã«ã¤ãã¦è¿°ã¹ã¾ããã ãã³ã½ã«ã®å¯è¦åã®ããã®åã°ã©ã åä»ãåã°ã©ãã¨ææ¨ åã°ã©ãï¼åä»ãåã°ã©ãã®ä½¿ãã¿ã¡ã¨ãã¦ãã·ã¹ãã ã®è¨è¿°ãããã¾ããã·ã¹ãã ã¯é層çã«æ§æããããã¨ãããã¾ããé層çãªâ¦
å°ãã¿ã$`V`$ ããã¯ãã«ç©ºéã¨ãã¦ã$`A, B`$ 㯠$`V`$ ã®é¨å空éãé¨åãã¯ãã«ç©ºéãã ã¨ãã¾ãããã®ã¨ãã$`\quad A + B = V \Leftrightarrow A \oplus B \cong V`$ã¨ãã話ããã¾ããããã§ã$`\oplus`$ ã¯ãã¯ãã«ç©ºéã®ç´åã§ãã$`+`$ ã¯å¾ã§èª¬æâ¦
ããã³ã½ã«ã®å¯è¦åã®ããã®åã°ã©ããã«ããã¦ãåã°ã©ãã®å®ç¾©ãã²ã¨ã¤ã«æ±ºãã¾ãããç´ ã®åã°ã©ããplain semi-graphãã ãã§ãªãã¦ãæ§ã ãªæ§é ã追å ããåã°ã©ããstructured semi-graphããå¿ è¦ã«ãªãã¾ããããã§ã¯ããã¼ãã«ï¼å¿ ç¶çã«ã¯ã¤ã¤ã¼ã«ãâ¦
以ä¸ã®2ã¤ã®éå»è¨äºã§åã°ã©ããsemi-graphããæ±ã£ã¦ãã¾ãã åã°ã©ãã®æ§ã ãªå®ç¾© ãµã¼ã¯ã«ãæã¤åã°ã©ã å¿ã¥ããã¨ãã¦ã¯ãããã·ã³ã¸ã£ã¼ãAleks Kissingerãã®æ½è±¡ãã³ã½ã«ã·ã¹ãã ãabstract tensor systemãï¼æ¬æå ã®[Kis13]ï¼ãç©çã§åºã¦ããâ¦
ãã ãããåã«ãªãï¼ æ¦åãã§ãæ¦åãalmost categoryãã¨ããæ¦å¿µãææ¡ãã¾ãããæ¦åãé常ã®åãå±æå°åãã¨éãç¹ã¯ï¼ [ãã ã»ããã®ãµã¤ãº] ãã ã»ãããå°ãããªãã¦ãããã [æ³åã®ç·©ãããããã] æ³åãå ¬çããçå¼çã§ãªãã¦ãããã ãæ¦åâ¦
ãã ãããåã«ãªãï¼ æ¦åãã«ããã¦æ¬¡ã®ããã«æ¸ãã¾ããã $`\mathcal{C}`$ ãã $`\mathcal{D}`$ ãä½ãè¡çºã¯ããã¤ã¢ã¬ã¯ãæ§æãdialect constructionãã¨å¼ã°ããæ§ææ³ã®ä¸é¨ã§ãã ããã¤ã¢ã¬ã¯ãæ§æãã«è¨åãããã®ã®ããããã£ã¦ä½ã ã£ãï¼ãâ¦
ãã ãããåã«ãªãï¼ æ¦åãã®æ¦åã®äºä¾ã®è¨è¿°ãã°ãã°ãã§ãããä¿®æ£ãå ¥ãã¾ãããããã¨ã®æè¨ãã§ããã ãæ®ãã¦ä¿®æ£ã»è¿½è¨ãã¦ããã®ã§èªã¿ã«ããããç¥ãã¾ãããæ´çãã¦ããä¸åº¦æåããè¿°ã¹ã¾ããæ¦åã®3ã¤ã®äºä¾ãã3ã¤ã®æ§æãconstructionãã¨â¦
ãã¹ãã³ã®åã£ã¦å®ç¾©ã§ããã®ï¼ãã«ããã¦ãç´ æ´ã«ãã¹ãã³ãå°ã¨ã¿ãªããã ãã§ã¯åã«ãªããªããã¨ã注æãã¾ãããããããâåãã©ãâã«ã¯ãªã£ã¦ãã¾ããã¹ãã³ã®å以å¤ã§ããããã£ããåã«è¿ãåãã©ãããåºã¦ãã¾ãããã®ã¨ããä½ã®æãããªãåæ±ãâ¦
éä¼´ç³»ãadjunction | adjoint systemãã¯æ¢ã«ç¥ããã¦ããã¨ãã¦ãéä¼´ç³»ãã«ã³æ¡å¼µã®æ çµã¿ã§è§£éã§ããã§ããããï¼ ã§ãã¾ãããã£ã¦ã¿ã¾ãã$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\twoto}{\Rightarrow â¦
ç±³ç°ã®è£é¡ã¯æ¢ã«ç¥ããã¦ããã¨ãã¦ãç±³ç°ã®è£é¡ãå·¦ã«ã³æ¡å¼µã®æ çµã¿ã§è§£éã§ããã§ããããï¼ ã§ãã¾ãããã£ã¦ã¿ã¾ãã$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\twoto}{\Rightarrow } \newcommand{\In}{\tâ¦
éå»è¨äºãã¢ãããã¯éä¼´ç³»ã¨èªç±å¯¾è±¡ã»å°å¯¾è±¡ãã«ããã¦ã次ã®ããã«æ¸ãã¾ããã æ½è±¡çæ§é ãè¨è¿°ããéã«ããã®æ§æç´ ãconstituentãéã®ååï¼è¨å·ã©ãã«ã¨å½¹å²ãåï¼ãã©ãä»ãããã¯ã©ãã§ãããã®ã§ã...[snip]... ååã®ãºã¬ãããã¨ãã©ãã§ããâ¦
ç±³ç°ã®è£é¡ããè¨ãããã¨ã®ã²ã¨ã¤ã«ããèªç¶å¤æã¯ãããªã«å¤ãã¯ãªãããã¨ãããã¾ãã2ã¤ã®é¢æ $`F, G`$ ã®ããã ã®âãã¹ã¦ã®èªç¶å¤æâã¨ããã¨ãåè¦ã§ã¯ãããããé常ã®éåãå°ããéåãã«ãªãã®ãããä¸å®ã§ãããããã¦ãã¯é常ã®éåã¨ãã¦è¨è¿°â¦
ããã¼ã¿ãã¼ã¹:: ãã¼ãã«æ§é ã¨ãã¼ã¿ãã¼ã¹æ§é ãã«ããã¦ï¼ é¢ä¿ãã¼ã¿ãã¼ã¹ã¯ããã¼ãã«ã®ããã ã®åç §ï¼å¤é¨ãã¼ï¼ã¡ã«ããºã ãæã£ã¦ãã¾ããã·ã¹ãã ãçµã¿è¾¼ã¿ã§æã£ã¦ããã¡ã«ããºã ããæ°çã¢ãã«ã«åãè¾¼ã¾ãªãããã«ã¯ãããªãã®ã§ãåç §ã¯ãâ¦
åè«ã®ãæ®éæ§ãã¨ããè¨èã¯ãææ§å¤ç¾©ã§ä½ãè¨ã£ã¦ãããåãããªããªããªã¹ã¯ãããã®ã§ãå人çã«ã¯ä½¿ããªãããã«ãã¦ãã¾ãããæ®éæ§ããæ®é対象ããªã©ã®ä»£ããã«ãï¼ã¨ããåï¼ã®çµå¯¾è±¡ã¾ãã¯å§å¯¾è±¡ã§ããæ¨ãæ示ãããã¨ãå¤ãã§ããã¨ã¯ãããâ¦
å²ã¨ãã使ãããæ¦å¿µã§ãã£ã¦ããåæãããååããªãã¨ãã½ã¬ã«ã¤ãã¦èªããã¨ãå°é£ã§ããéä¼´ç³»ãadjunction | adjoint systemãã«ã¯ãªã£ã¦ããªãâéä¼´ç³»ãã©ãâã¯ãã£ããç»å ´ããã®ã§ãããããã¨ãã£ãååã¯ãªãããã§ããããã§ã¯ãã½ã¬ãã¢ãããâ¦