👍 Create category example article

lib/latex_template/tex_element.rb

@@ -13,8 +13,9 @@ def name
   def full_content
     <<~TEMPLATE
         \\documentclass[varwidth=20cm, border=1pt]{standalone}
-        \\usepackage{graphicx, subcaption, tikz, amsmath}
-        \\usetikzlibrary{arrows}
+        \\usepackage{amsmath, graphicx, subcaption, tikz}
+        \\usetikzlibrary{arrows, cd}
+        \\tikzcdset{scale cd/.style={every label/.append style={scale=#1}, cells={nodes={scale=#1}}}}
         #{tex_macros.join("\n")}
         \\begin{document}
         #{@content}
@@ -43,7 +44,7 @@ def full_content
         \newcommand{\cats}[1]{\mathcal{#1}}
         \newcommand{\catl}[1]{\mathbf{#1}}
         \newcommand{\set}[1]{\mathbb{#1}}
-        \newcommand{\id}[1]{\mathbf{id}_{#1}}
+        \newcommand{\id}[1]{\mathrm{id}_{#1}}
         \newcommand{\functor}[1]{\mathbf{#1}}
         \newcommand{\bold}[1]{\bf #1}
       ]

source/articles/2020-10-23-category_index.html.md.math

@@ -59,21 +59,30 @@ READMORE
 ### 主要な数学的対象
 
 - 圏 \\(\cats{C}, \cats{D}, ...\\)
+    - 双対圏
+    - 部分圏
+    - クライスリ圏
+    - デカルト閉圏
+    - モノイダル圏
 - 対象 \\(a, b, c, ...\\)
-- 対象の間の**射** \\(f, g, g \circ f, ...\\)
-- 恒等射 \\(\id{a}, \id{b}, \id{c}, ...\\)
+    - 始対象・終対象・零対象
+- 射 \\(f, g, g \circ f, ...\\)
+    - エピ・モノ射・同型射
+    - 恒等射 \\(\id{a}, \id{b}, \id{c}, ...\\)  
 - 関手 \\(\functor{F}, \functor{G}\\)
+    - 恒等関手
+    - 自己関手
+    - 随伴関手
+    - 表現可能関手
 - 自然変換 \\(\alpha\\)
 
-### 概念
-- 普遍性
-
 ### 構造・定理など
-
-- 積・和
+- 極限
+    - 積・和
+    - 押し出し・引き戻し
 - モノイド
 - モナド
-- 極限
+- 随伴
 - 米田の補題
 - Kan拡張