Homotopy Type Theory pdf epub mobi txt 電子書下載 2025

☆☆☆☆☆
簡體網頁||繁體網頁

Univalent Foundations Program

2014-6-3

609

Paperback

9787704251709

圖書標籤: 數學 Math 計算機同倫類型論範疇論 pl TypeTheory Mathematics

喜歡 Homotopy Type Theory 的讀者還喜歡

下載链接在页面底部

下載連結1
下載連結2
下載連結3

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2025-02-04

Homotopy Type Theory epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2025

Homotopy Type Theory pdf epub mobi txt 電子書下載 2025

圖書描述

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians.

Homotopy Type Theory 下載 mobi epub pdf txt 電子書