← arrows-in-category-theory
20250827.tex
\documentclass{amsart}
\usepackage[left=2cm, right=2cm]{geometry}
\usepackage[utf8]{inputenc}
\usepackage{amsfonts, amsthm, amssymb, mathtools,etoolbox}
\usepackage{blindtext}
\usepackage[colorlinks=true, urlcolor=blue, linkcolor=blue, citecolor=blue]{hyperref}
\usepackage{tikz,tikz-cd}
\usepackage{cleveref}
\usepackage{array}
\usepackage[style=alphabetic,sorting=nyt]{biblatex}
\renewbibmacro{in:}{}
% \addbibresource{biblio.bib}
\addbibresource{CommonBiblio20240922.bib}
\tikzset{pullback/.style={minimum size=1.2ex,path picture={
\draw[opacity=1,black,-,#1] (-0.5ex,-0.5ex) -- (0.5ex,-0.5ex) -- (0.5ex,0.5ex);%
}}}
\usetikzlibrary{calc}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{todo}[theorem]{Todo}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{fact}[theorem]{Fact}
\theoremstyle{definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{question}[theorem]{Question}
\newtheorem{idea}[theorem]{Idea}
\newcommand{\dq}[1]{``#1"}
\newcommand{\memo}[1]{\textcolor{red}{memo: #1}}
\newcommand{\invmemo}[1]{\textcolor{blue}{memo: #1}}
\newcommand{\para}[1]{\paragraph{\textbf{#1}}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathcal{C}}
\newcommand{\D}{\mathcal{D}}
\newcommand{\E}{\mathcal{E}}
\newcommand{\F}{\mathcal{F}}
\newcommand{\id}{\mathrm{id}}
\newcommand{\op}{\mathrm{op}}
\newcommand{\ob}{\mathrm{ob}}
\newcommand{\Set}{\mathbf{Set}}
\newcommand{\Vect}{\mathbf{Vect}}
\newcommand{\FinSet}{\mathbf{FinSet}}
\newcommand{\PSh}{\mathbf{PSh}}
\newcommand{\Sh}{\mathbf{Sh}}
\newcommand{\Cont}{\mathbf{Cont}}
\newcommand{\Func}[2]{[#1,#2]}
\newcommand{\abs}[1]{\left|#1\right|}
\newcommand{\demph}[1]{\textbf{#1}}
\font\maljapanese=dmjhira at 2.5ex
\newcommand{\yo}{\textrm{\!\maljapanese\char"48}}
\newcommand{\Pow}{\mathcal{P}}
\title{圏論ではいろいろな矢印が登場しますが，それぞれの矢印の意味について教えてください}
% \author{Ryuya Hora}
% \thanks{Graduate School of Mathematical Sciences, University of Tokyo. \url{hora@ms.u-tokyo}}
% % \date{\today}
% \subjclass[2020]{MSC}
% \keywords{Keywords}
\begin{document}
% \begin{abstract}
% \end{abstract}
\maketitle
\section{射，関手，自然変換の重要性}
圏論には多くの種類の矢印が登場します．その中でも，どんな圏論の教科書にも現れる代表的なものは射，関手，自然変換の3つでしょう．多くのより発展的な圏論の概念---例えば随伴，モナド，Kan拡張---はこの3つを用いて定義されますから，この三つをマスターすれば圏論に入門したと言っていいと思います．
この記事では，射，関手，自然変換という「矢印の三重構造」がいかにして数学の至る所に潜んでいるのかを，圏を知ったばかりの読者に伝えることを目的としています．
形式的な定義を知るだけなら教科書を見れば良いので，この記事ではむしろ気持ちに注目することにし，特定の具体例と特定のスローガンで親しみを持ってもらうことを目指します．もちろん，これは一個人が恣意的に一つの側面を切り取ったものですから，形式的で抽象的な圏論の良さ---多様な文脈の中で多様に解釈がなされるという良さ---に真っ向から反するスタイルです．断腸の思いです．
\subsection{射の重要性}
あなたがすでに圏論を少し学んでいるのであれば，圏論で最初に強調されるスローガンが「射の重要性」であることを既にご存知かもしれません．圏は対象と射のなすシステムとして定義されますが，一般的に「射は対象より重要である」と言われがちでしょう．
このスローガンは，数学的対象を考える際にその間の射の概念を明確にせよと主張しています．例えば，位相空間を考えるときは連続写像を，群を考えるときは群準同型を，線型空間を考えるときは線型写像を考えよということです．射を考えることで対象同士がどのように関わるのか(例えば，どの二つの対象を同一視するのか，など)が明確になります．さらに，射を考えることで，他の数学的対象との関係性(=普遍性)を用いて対象を定義する，などといったことが可能になります．
\begin{figure}
\centering
\includegraphics[width=1\linewidth]{0827Cat.jpeg}
\caption{Enter Caption}
\label{fig:placeholder}
\end{figure}
\subsection{関手と自然変換, 「射を考えよ」のメタ適用}
関手と自然変換は「射を考えよ」というスローガンから，自然に導かれるものです．「射を考えよ」というスローガンにあなたが納得したとすると，圏という数学的対象は非常に自然なものに見えてくるはずです．圏は，対象と射のなす数学的構造だからです．一方で，圏自体も数学的対象であることに気がつくと，新たな問いが生まれます．「圏という数学的対象の射は何なのか」という問いです．その答えこそが関手であり，関手は「圏の射」です．そして，このステップは繰り返され，「関手という数学的対象の射は何なのか」という問いに移行し，その答えが自然変換です．いわば，関手や自然変換は「射を考えよ」というスローガンを忠実に，そしてメタ的に考えたときに自然に現れる対象なのです．
\section{定義と具体例}
3つの質的に異なる矢印が現れる、と聞くと何やら高度にメタ的で抽象的な存在だと思われるかもしれません。ただ、このような三重構造は実は至る所に現れています。ここでは、"普通の圏論"とはあまり見做されないような例を見てみましょう。(普通の例は圏論の教科書を見てください) 結論から言えば、不等式 $1+x\leq e^x$は自然変換なのです！
まず、「射」の例を見てみましょう。実数$\R$は、実数を対象、不等号を射として圏になります。順序集合は圏、というやつです。例えば、$0,1,e,\pi$などは圏$\R$の対象で、不等式$0\leq 1$とか$e\leq \pi$などは、圏$\R$の射です。このように、「射」は一つの圏の中で、対象同士の相互関係を表します。圏$\R$の場合では、実数同士の大小関係を表しています。
では、この場合の「関手」の例を見てみましょう。$\R$から$\R$への関手は何でしょうか? 関手の定義を参照すれば、これは$\R$から$\R$への広義単調増加関数に他ならないことをチェックできるでしょう。例えば、$f(x)=x,1+x,e^x$ などは$\R$から$\R$への関手の例です。このように、「関手」はある圏から別の圏への変換を表しています。一つの圏の中から飛び出して別の圏の中へ移る、ダイナミックな行為です。今回の$\R$の例では移り先が自分自身と一致していてシャボく見えるかもしれません。現代数学では、空間の圏から代数の圏への関手など、文字通り分野の垣根を超えた関手が活躍しています。
さて、最後に自然変換の例を見ましょう。広義単調増加関数が関手なら、その間の自然変換は不等式$f(x)\leq g(x)$です。例えば$1+x\leq e^x$は関手$1+x$から関手$e^x$への関手です。
似た例は、現代数学にもあります。例えば、実ベクトル空間の圏$\Vect_{\R}$を考えて、以下の二つの自己関手を考えます。
\begin{itemize}
\item $V\mapsto \R\oplus V$
\item $V\mapsto (V\text{から自由生成される可換$\R$代数})$
\end{itemize}
すると、後者は$\R\oplus V\oplus {V^2}/{S_2}\oplus\dots $ と"テイラー展開"されるので、1から2へ標準的な自然変換があるのです)
% \printbibliography
\end{document}