Book contents
- Frontmatter
- Contents
- Preface
- Part I Computing
- 1 Mathematics, Models and Architectures
- 2 Mathematics and Software Verification
- 3 Mathematics for Quantum Computing
- 4 Mathematics for AI: Categories, Toposes, Types
- Part II Communications
- Part III Artificial Intelligence
- Part IV Future
- Editors and Contributing Authors
4 - Mathematics for AI: Categories, Toposes, Types
from Part I - Computing
Published online by Cambridge University Press: 03 December 2021
- Frontmatter
- Contents
- Preface
- Part I Computing
- 1 Mathematics, Models and Architectures
- 2 Mathematics and Software Verification
- 3 Mathematics for Quantum Computing
- 4 Mathematics for AI: Categories, Toposes, Types
- Part II Communications
- Part III Artificial Intelligence
- Part IV Future
- Editors and Contributing Authors
Summary
Keywords
- Type
- Chapter
- Information
- Mathematics for Future Computing and Communications , pp. 98 - 132Publisher: Cambridge University PressPrint publication year: 2021