Categories for the Working Philosopher

Categories for the Working Philosopher
Author: Elaine M. Landry
Publisher: Oxford University Press
Total Pages: 486
Release: 2017
Genre: Mathematics
ISBN: 019874899X

Download Categories for the Working Philosopher Book in PDF, Epub and Kindle

This is the first book on category theory for a broad philosophical readership. There is no other discussion of category theory comparable in its scope. It is designed to show the interest and significant of category theory for philosophers working in a range of areas, including mathematics, proof theory, computer science, ontology, physics, biology, cognition, mathematical modelling, the structure of scientific theories, and the structure of the world. Moreover, it does this in a way that is accessible to non specialists. Each chapter is written by either a category-theorist or a philosopher working in one of the represented fields, in a way that builds on the concepts already familiar to philosophers working in these areas. The book is split into two halves. The 'pure' chapters focus on the use of category theory for mathematical, foundational, and logical purposes, while the 'applied' chapters consider the use of category theory for representational purposes, investigating category theory as a framework for theories of physics and biology, for mathematical modelling more generally, and for the structure of scientific theories. Book jacket.

Diagrammatic Immanence

Diagrammatic Immanence
Author: Rocco Gangle
Publisher: Edinburgh University Press
Total Pages: 264
Release: 2016-08-18
Genre: Philosophy
ISBN: 1474404200

Download Diagrammatic Immanence Book in PDF, Epub and Kindle

A renewal of immanent metaphysics through diagrammatic methods and the tools of category theorySpinoza, Peirce and Deleuze are, in different ways, philosophers of immanence. Rocco Gangle addresses the methodological questions raised by a commitment to immanence in terms of how diagrams may be used both as tools and as objects of philosophical investigation. He integrates insights from Spinozist metaphysics, Peircean semiotics and Deleuzes philosophy of difference in conjunction with the formal operations of category theory. Category theory reveals deep structural connections among logic, topology and a variety of different areas of mathematics, and it provides constructive and rigorous concepts for investigating how diagrams work. Gangle introduces the methods of category theory from a philosophical and diagrammatic perspective, allowing philosophers with little or no mathematical training to come to grips with this important field. This coordination of immanent metaphysics, diagrammatic method and category theoretical mathematics opens a new horizon for contemporary thought.

Categories for the Working Mathematician

Categories for the Working Mathematician
Author: Saunders Mac Lane
Publisher: Springer Science & Business Media
Total Pages: 320
Release: 2013-04-17
Genre: Mathematics
ISBN: 1475747217

Download Categories for the Working Mathematician Book in PDF, Epub and Kindle

An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.

From a Geometrical Point of View

From a Geometrical Point of View
Author: Jean-Pierre Marquis
Publisher: Springer Science & Business Media
Total Pages: 316
Release: 2008-11-20
Genre: Science
ISBN: 1402093845

Download From a Geometrical Point of View Book in PDF, Epub and Kindle

From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein’s Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane’s work in the early 1940’s and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics. From a Geometrical Point of View aims to provide its readers with a conceptual perspective on category theory and categorical logic, in order to gain insight into their role and nature in contemporary mathematics. It should be of interest to mathematicians, logicians, philosophers of mathematics and science in general, historians of contemporary mathematics, physicists and computer scientists.

Categories, Types, and Structures

Categories, Types, and Structures
Author: Andrea Asperti
Publisher: MIT Press (MA)
Total Pages: 330
Release: 1991
Genre: Computers
ISBN:

Download Categories, Types, and Structures Book in PDF, Epub and Kindle

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 programmes using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.

Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic
Author: J. Lambek
Publisher: Cambridge University Press
Total Pages: 308
Release: 1988-03-25
Genre: Mathematics
ISBN: 9780521356534

Download Introduction to Higher-Order Categorical Logic Book in PDF, Epub and Kindle

Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.

The Philosopher

The Philosopher
Author: Justin E. H. Smith
Publisher: Princeton University Press
Total Pages: 286
Release: 2017-10-31
Genre: Philosophy
ISBN: 0691178461

Download The Philosopher Book in PDF, Epub and Kindle

How the role of the philosopher has changed over time and across cultures—and what it reveals about philosophy today What would the global history of philosophy look like if it were told not as a story of ideas but as a series of job descriptions—ones that might have been used to fill the position of philosopher at different times and places over the past 2,500 years? The Philosopher does just that, providing a new way of looking at the history of philosophy by bringing to life six kinds of figures who have occupied the role of philosopher in a wide range of societies around the world over the millennia—the Natural Philosopher, the Sage, the Gadfly, the Ascetic, the Mandarin, and the Courtier. The result is at once an unconventional introduction to the global history of philosophy and an original exploration of what philosophy has been—and perhaps could be again. By uncovering forgotten or neglected philosophical job descriptions, the book reveals that philosophy is a universal activity, much broader—and more gender inclusive—than we normally think today. In doing so, The Philosopher challenges us to reconsider our idea of what philosophers can do and what counts as philosophy.

An Introduction to the Language of Category Theory

An Introduction to the Language of Category Theory
Author: Steven Roman
Publisher: Birkhäuser
Total Pages: 174
Release: 2017-01-05
Genre: Mathematics
ISBN: 331941917X

Download An Introduction to the Language of Category Theory Book in PDF, Epub and Kindle

This textbook provides an introduction to elementary category theory, with the aim of making what can be a confusing and sometimes overwhelming subject more accessible. In writing about this challenging subject, the author has brought to bear all of the experience he has gained in authoring over 30 books in university-level mathematics. The goal of this book is to present the five major ideas of category theory: categories, functors, natural transformations, universality, and adjoints in as friendly and relaxed a manner as possible while at the same time not sacrificing rigor. These topics are developed in a straightforward, step-by-step manner and are accompanied by numerous examples and exercises, most of which are drawn from abstract algebra. The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories. Chapter 2 is devoted to functors and naturaltransformations, concluding with Yoneda's lemma. Chapter 3 presents the concept of universality and Chapter 4 continues this discussion by exploring cones, limits, and the most common categorical constructions – products, equalizers, pullbacks and exponentials (along with their dual constructions). The chapter concludes with a theorem on the existence of limits. Finally, Chapter 5 covers adjoints and adjunctions. Graduate and advanced undergraduates students in mathematics, computer science, physics, or related fields who need to know or use category theory in their work will find An Introduction to Category Theory to be a concise and accessible resource. It will be particularly useful for those looking for a more elementary treatment of the topic before tackling more advanced texts.

Categories We Live by

Categories We Live by
Author: Ásta
Publisher: Oxford University Press
Total Pages: 161
Release: 2018
Genre: Philosophy
ISBN: 0190256796

Download Categories We Live by Book in PDF, Epub and Kindle

We are women, we are men. We are refugees, single mothers, people with disabilities, and queers. We belong to social categories and they frame our actions, self-understanding, and opportunities. But what are social categories? How are they created and sustained? How does one come to belong to them? Ásta approaches these questions through analytic feminist metaphysics. Her theory of social categories centers on an answer to the question: what is it for a feature of an individual to be socially meaningful? In a careful, probing investigation, she reveals how social categories are created and sustained and demonstrates their tendency to oppress through examples from current events. To this end, she offers an account of just what social construction is and how it works in a range of examples that problematize the categories of sex, gender, and race in particular. The main idea is that social categories are conferred upon people. Ásta introduces a 'conferralist' framework in order to articulate a theory of social meaning, social construction, and most importantly, of the construction of sex, gender, race, disability, and other social categories.

Aristotle and the Arabic Tradition

Aristotle and the Arabic Tradition
Author: Ahmed Alwishah
Publisher: Cambridge University Press
Total Pages: 277
Release: 2015-09-17
Genre: History
ISBN: 1107101735

Download Aristotle and the Arabic Tradition Book in PDF, Epub and Kindle

Examines Aristotle's vast influence upon the medieval Arabic philosophical tradition and includes contributions from every discipline within his corpus.