Types, Sets and Categories

Authors
John L. Bell
Western University
Abstract
This essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. Since it is effectively impossible to describe these relationships (especially in regard to the latter) with any pretensions to completeness within the space of a comparatively short article, I have elected to offer detailed technical presentations of just a few important instances
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,812
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Origin of the Theory of Types.Ryo Ito - 2018 - Annals of the Japan Association for Philosophy of Science 27:27-44.

Add more citations

Similar books and articles

Analytics

Added to PP index
2012-09-06

Total downloads
27 ( #236,148 of 2,293,708 )

Recent downloads (6 months)
1 ( #410,261 of 2,293,708 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature