(新) 檜山正幸のキマイラ飼育記 メモ編
(新) 檜山正幸のキマイラ飼育記 メモ編
読者になる

(新) 檜山正幸のキマイラ飼育記 メモ編

2020-05-04

BIG3

圏一般論 用語法 言葉
  • BIG3 = squat, bench press, deadlift
  • BIG3 = category, functor, natural transformation

m-hiyama 2020-05-04 09:03 読者になる

  • もっと読む
コメントを書く
« 借用したいHaskell記法／Coq記法 染み付き多様体の圏とグリフ体 »
プロフィール
id:m-hiyama id:m-hiyama はてなブログPro
読者です 読者をやめる 読者になる 読者になる
このブログについて
検索
最新記事
  • Obsidian Publish 再確認
  • 等号と等号の否定
  • モチベーションどうする？
  • Obsidianの重複機能
  • 幾つかのトピック
  • 型理論-論理の用語対応表 n回目
  • 反対圏の記法
  • 球体アプローチ関係
  • 監視用仮想デスクトップとdcomcnfg.exe
  • 「エクスプローラーに保存する」？
  • ファイル名の表示順序
  • Edge as a PEF reader (2)
  • プロジェクトディレクトリのリネーム
  • shell:, ms-settings: URI の仕様
  • リンク再論
月別アーカイブ
  • ▼ ▶
    2024
    • 2024 / 11
    • 2024 / 10
    • 2024 / 9
    • 2024 / 8
    • 2024 / 7
    • 2024 / 6
    • 2024 / 5
    • 2024 / 4
  • ▼ ▶
    2023
    • 2023 / 12
    • 2023 / 11
    • 2023 / 10
    • 2023 / 9
    • 2023 / 8
    • 2023 / 7
    • 2023 / 6
    • 2023 / 5
    • 2023 / 4
    • 2023 / 3
    • 2023 / 2
    • 2023 / 1
  • ▼ ▶
    2022
    • 2022 / 12
    • 2022 / 11
    • 2022 / 10
    • 2022 / 9
    • 2022 / 8
    • 2022 / 7
    • 2022 / 6
    • 2022 / 5
    • 2022 / 4
    • 2022 / 3
    • 2022 / 2
    • 2022 / 1
  • ▼ ▶
    2021
    • 2021 / 12
    • 2021 / 11
    • 2021 / 10
    • 2021 / 9
    • 2021 / 8
    • 2021 / 7
    • 2021 / 6
    • 2021 / 5
    • 2021 / 4
    • 2021 / 3
    • 2021 / 2
    • 2021 / 1
  • ▼ ▶
    2020
    • 2020 / 12
    • 2020 / 11
    • 2020 / 10
    • 2020 / 9
    • 2020 / 8
    • 2020 / 7
    • 2020 / 6
    • 2020 / 5
    • 2020 / 4
    • 2020 / 3
    • 2020 / 2
    • 2020 / 1
  • ▼ ▶
    2019
    • 2019 / 12
    • 2019 / 11
    • 2019 / 10
    • 2019 / 9
    • 2019 / 8
    • 2019 / 7
    • 2019 / 6
    • 2019 / 5
    • 2019 / 4
    • 2019 / 3
    • 2019 / 2
    • 2019 / 1
カテゴリー
  • 記録 (105)
  • obsid (7)
  • セミナー (150)
  • 具体例 (65)
  • 教育 (162)
  • メモ (142)
  • 圏一般論 (106)
  • 型理論 (16)
  • 本編ネタ (176)
  • 論理 (207)
  • pc管理 (26)
  • 言葉 (11)
  • windows (51)
  • edge (2)
  • その他ソフトウェア (65)
  • kbd (14)
  • vscode (28)
  • zotero (4)
  • ahk (10)
  • 画像 (36)
  • tips (91)
  • powershell (7)
  • pc引越し (18)
  • 要確認 (1)
  • blit (122)
  • pc-setup (58)
  • はてなブログ (52)
  • ハマリ所 (42)
  • インストール／設定 (25)
  • server (60)
  • 重要メモ (11)
  • tagging (15)
  • 半形式証明スクリプト (144)
  • セオリー論 (124)
  • リンク (70)
  • 多義語 (102)
  • indexed/fibred圏 (13)
  • 用語法 (161)
  • お絵描き (36)
  • 気付いた (62)
  • 一貫性 (6)
  • domain (7)
  • 映画 (3)
  • モノイド圏 (20)
  • Lean (196)
  • JavaScript/TypeScript (77)
  • プログラム意味論 (23)
  • muses (150)
  • インスティチューション (13)
  • 課題 (60)
  • git (36)
  • まとめ (22)
  • ダメ出し (42)
  • tabr (23)
  • 文書処理 (47)
  • unified (30)
  • theo (8)
  • xgerby (14)
  • 参照システム (13)
  • 説明 (19)
  • STEM (71)
  • 学習 (7)
  • モナド (17)
  • MEDL (18)
  • 高次圏論 (16)
  • 設計 (23)
  • その他代数 (74)
  • 感じた (2)
  • 調べた (2)
  • 形式言語理論 (5)
  • stringer (4)
  • 確率統計 (70)
  • nginx (2)
  • emacs (4)
  • 幾何っぽい (157)
  • 物理っぽい (28)
  • TQFT (3)
  • 人物 (1)
  • ラムダ計算 (2)
  • * (3)
  • データベース (27)
  • 機械学習っぽい (22)
  • console (15)
  • 災害 (3)
  • 層理論 (5)
  • リモート (3)
  • カン拡張 (3)
  • CT4S (1)
  • 解析っぽい (11)
  • 計算 (1)
  • 2019 (9)
  • CADG (2)
  • マンダラ (6)
  • トピック (3)
  • コホモロジー (2)
  • DFD (1)
  • 2018 (1)
  • Mx (1)
  • 量子計算 (1)
  • オートマトン (7)
  • ホモトピー (3)

はてなブログをはじめよう！

m-hiyamaさんは、はてなブログを使っています。あなたもはてなブログをはじめてみませんか？

はてなブログをはじめる（無料）
はてなブログとは
(新) 檜山正幸のキマイラ飼育記 メモ編 (新) 檜山正幸のキマイラ飼育記 メモ編

Powered by Hatena Blog | ブログを報告する

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる