• pogin503
• ここの運用について
• HOME
• デジタル・ガーデン
• Zettelkasten
• 自分用ページHOME
• 2026年カレンダー
• 文
• 型
• 命題
• 集合
• unit type
• 終対象
• シングルトン
• mere proposition
• 情報をパブリックにしておく
• 圏
• モノイド
• ○○ as ○○
• モニック射