Streicher, T. (2004). Introduction to category theory and categorical logic, Polimetrica, PP. 1 - 116.T. Streicher.Introduction to Category Theory and Categorical Logic.. 2004T. Streicher.Introduction to Category Theory and Categorical Logic. . 2004...
UIUC《范畴论导论|MATH 428 Introduction to Category Theory (Fall 2020) 》中英字幕共计38条视频,包括:20200623-Lecture 1.zh_en、20200624-Lecture 2.zh_en、20200624-Lecture 3.zh_en等,UP主更多精彩视频,请关注UP账号。
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the sub...
This free book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design. It provides a self-contained introduction to general category theory and explains the
【拉格朗日大师课】Aurélien Sagnier:Introduction to Toposlogy 第17讲 Category theory Chaspark茶思屋 72 0 【拉格朗日大师课】Aurélien Sagnier:Introduction to Toposlogy 第3讲 General Topology Chaspark茶思屋 47 0 【拉格朗日大师课】Aurélien Sagnier:Introduction to Toposlogy 第10讲 General Topology Chaspa...
This book is devoted to category theory and suitable for readers wishing to work within the theory itself, and those wishing to use the theory--or at least its basic aspects--in other mathematical disciplines such as algebra, topology, algebraic geometry, logic, etc. This volume is suitable ...
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics, Second Edition, introduces the concept of ’category’ for the learning, development, and use of mathematics, to both beginning students and genera...
Category Theory: A Gentle Introduction by Peter Smith Publisher: Logic Matters 2016Number of pages: 283 Description:I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it ...
he introduced an algebraic version of topos theory which united several previously 'unrelated' areas in geometry and in set theory; over a dozen books, several dozen international meetings, and hundreds of research papers have since appeared, continuing to develop the consequences of that unification...
01. Category Theory For Beginners Introduction是Category Theory 范畴论入门 【中英】的第1集视频,该合集共计15集,视频收藏或关注UP主,及时了解更多相关视频内容。