This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
评分
评分
评分
评分
我只读了第一到十页介绍性的内容,这部分以下面几个主要观点入手:逻辑总是类型论上的逻辑,STT或DTT或PTT等等;不以集合论语言为先导的范畴论如何描述;类型(逻辑)的内容是范畴的指标,其中符号可以有范畴解释……这几点是建立本书的基石:范畴作为类型(逻辑)的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发(比如证明系统的设计,程序语言的设计,数据库的管理等等),类型论或者说高阶逻辑,就是纯粹的哲学的东西了。
评分我只读了第一到十页介绍性的内容,这部分以下面几个主要观点入手:逻辑总是类型论上的逻辑,STT或DTT或PTT等等;不以集合论语言为先导的范畴论如何描述;类型(逻辑)的内容是范畴的指标,其中符号可以有范畴解释……这几点是建立本书的基石:范畴作为类型(逻辑)的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发(比如证明系统的设计,程序语言的设计,数据库的管理等等),类型论或者说高阶逻辑,就是纯粹的哲学的东西了。
评分我只读了第一到十页介绍性的内容,这部分以下面几个主要观点入手:逻辑总是类型论上的逻辑,STT或DTT或PTT等等;不以集合论语言为先导的范畴论如何描述;类型(逻辑)的内容是范畴的指标,其中符号可以有范畴解释……这几点是建立本书的基石:范畴作为类型(逻辑)的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发(比如证明系统的设计,程序语言的设计,数据库的管理等等),类型论或者说高阶逻辑,就是纯粹的哲学的东西了。
评分我只读了第一到十页介绍性的内容,这部分以下面几个主要观点入手:逻辑总是类型论上的逻辑,STT或DTT或PTT等等;不以集合论语言为先导的范畴论如何描述;类型(逻辑)的内容是范畴的指标,其中符号可以有范畴解释……这几点是建立本书的基石:范畴作为类型(逻辑)的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发(比如证明系统的设计,程序语言的设计,数据库的管理等等),类型论或者说高阶逻辑,就是纯粹的哲学的东西了。
评分我只读了第一到十页介绍性的内容,这部分以下面几个主要观点入手:逻辑总是类型论上的逻辑,STT或DTT或PTT等等;不以集合论语言为先导的范畴论如何描述;类型(逻辑)的内容是范畴的指标,其中符号可以有范畴解释……这几点是建立本书的基石:范畴作为类型(逻辑)的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发(比如证明系统的设计,程序语言的设计,数据库的管理等等),类型论或者说高阶逻辑,就是纯粹的哲学的东西了。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有