ソート
ソート(sort)
型理論、
普遍代数
、Leanのドキュメントなどで出てくるソートについて
ソートは
項
(term)を分類するための基本的なカテゴリー？
出自的には
多ソート代数
、
普遍代数
あたりが近そうである
有限積を持つ多対象構造？
書いてありそうなところ
『Type Theory and Formal Proof: An Introduction』
4 Types dependent on types
pdf:
https://anggtwu.net/tmp/nederpelt_geuvers__type_theory_and_formal_proof_an_introduction.pdf
要素を並び変える方のソートは↓に
ソート アルゴリズム
台集合
確認用
Q. ソート
関連
純粋型システム
二階述語論理
多ソート論理
多ソート代数
シグネチャ
宇宙(数学)
データ型
メモ
純粋型システムとλキューブ - liewecmays
/mrsekut-p/多ソート代数
『Lambda Calculus with Types』
変更履歴
2025-02-21 バブルソートなどのソートアルゴリズムは「ソート アルゴリズム」のページに移動