スター・トレックの補題

- 「Star Trek Lemma」（スタートレック補題）は、数学の圏論（category theory）における「Zornの補題」と「選択公理」の関係をユーモラスに言い換えたもので、「すべての宇宙が最終的に統一される」というスタートレック的世界観に引っかけたネーミング。著者のJohn D. Cookは応用数学者でブログ「Endeavor」で知られる。 - 圏論は数学の分野を統一的に扱う「数学の数学」であり、Zornの補題は「すべての帰納的順序集合には極大元が存在する」という命題。これは選択公理（バラバラの集合から同時に要素を選べるという原理）と同値であり、数学基礎論では重要な議論の対象。 - この補題は「すべての圏（宇宙）が極大元（統一理論）を持つ」という形で再解釈されるが、実際の数学的価値はユーモアにある。理論物理学における大統一理論や万物の理論への憧れを背景に、圏論の哲学的含意を軽妙に扱ったエッセイ。