๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Categories, types and structures

โœ Scribed by Asperti A.

Year
1991
Tongue
English
Leaves
300
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Categories, types, and structures. Intro
๐Ÿ“ Categories, types, and structures. Introduction to category theory for computer scientists
โœ Andrea Asperti, Giuseppe Longo ๐Ÿ“‚ Library ๐Ÿ“… 1991 ๐Ÿ› The MIT Press ๐ŸŒ English

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programs using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer

Handbook of Categorical Algebra 2: Categ
๐Ÿ“ Handbook of Categorical Algebra 2: Categories and Structures
โœ Francis Borceux ๐Ÿ“‚ Library ๐Ÿ“… 1994 ๐Ÿ› Cambridge University Press ๐ŸŒ English

The second volume, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental role in the subject's development and applications. In addition, after several chapters discussing specific categories, the book develops all the ma

Handbook of Categorical Algebra: Volume
๐Ÿ“ Handbook of Categorical Algebra: Volume 2, Categories and Structures
โœ Francis Borceux ๐Ÿ“‚ Library ๐Ÿ“… 1995 ๐Ÿ› Cambridge University Press ๐ŸŒ English

The second volume, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental role in the subject's development and applications. In addition, after several chapters discussing specific categories, the book develops all the maj