Types, Sets and Categories
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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A New Symbolic Representation for the Algebra of Sets.Jerome Frazee - 1990 - History and Philosophy of Logic 11 (1):67-75.
The Structure of Type Theory.Stephen H. Voss & Charles Sayward - 1980 - Journal of Philosophy 77 (5):241-259.
Axiomatizing a Category of Categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Ideal Types as Hermeneutic Concepts.Asaf Kedar - 2007 - Journal of the Philosophy of History 1 (3):318-345.
A Note on Russell's Paradox in Locally Cartesian Closed Categories.Andrew M. Pitts & Paul Taylor - 1989 - Studia Logica 48 (3):377 - 387.
Categorical and Algebraic Aspects of Martin-Löf Type Theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.
How Culture Might Constrain Color Categories.Debi Roberson & Catherine O'Hanlon - 2005 - Behavioral and Brain Sciences 28 (4):505-506.
Added to index2012-09-06
Total downloads27 ( #185,639 of 2,154,170 )
Recent downloads (6 months)1 ( #397,226 of 2,154,170 )
How can I increase my downloads?