カテゴリー: Univalent Foundations

Decrypt history, Encrypt future™

Vladimir Voevodsky｜ウラジーミル・ヴォエヴォドスキー

0

ウラジーミル・ヴォエヴォドスキー（Vladimir Voevodsky）の業績、「代数的K-理論・モチヴィック・コホモロジー」「ホモトピー型理論（HoTT）・単価基礎（Univalent Foundations）」 ウラ…
Read more

Article Search

Recent Posts

TANAAKK

New York, Tokyo, Shanghai, Hongkong, Singapore, London, Vietnam, Cayman, BVI

©2013-2026 TANAAKK

Total: 1765 pages & posts
vi1.0.119-03a9cd83