The Univalence Principle


Download The Univalence Principle PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get The Univalence Principle book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.

Download

The Univalence Principle


The Univalence Principle

Author: Benedikt Ahrens

language: en

Publisher: American Mathematical Society

Release Date: 2025-02-21


DOWNLOAD





View the abstract.

Homotopy Type Theory: Univalent Foundations of Mathematics


Homotopy Type Theory: Univalent Foundations of Mathematics

Author:

language: en

Publisher: Univalent Foundations

Release Date:


DOWNLOAD





Categories for the Working Philosopher


Categories for the Working Philosopher

Author: Elaine M. Landry

language: en

Publisher: Oxford University Press

Release Date: 2017


DOWNLOAD





This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a range of philosophical interests: mathematics, proof theory, computation, cognition, scientific modelling, physics, ontology, the structure of the world. Each chapter is written by either a category-theorist or a philosopher working in one of the represented areas, in an accessible waythat builds on the concepts that are already familiar to philosophers working in these areas.