EMBEDDING OF A FREE CARTESIAN-CLOSED CATEGORY INTO THE CATEGORY OF SETS

Authors
CUBRIC D
Citation
D. Cubric, EMBEDDING OF A FREE CARTESIAN-CLOSED CATEGORY INTO THE CATEGORY OF SETS, Journal of pure and applied algebra, 126(1-3), 1998, pp. 121-147
Citations number
16
Categorie Soggetti
Mathematics,Mathematics,Mathematics,Mathematics
Journal title
Journal of pure and applied algebra → ACNP
ISSN journal
00224049
Volume
126
Issue
1-3
Year of publication
1998
Pages
121 - 147
Database
ISI
SICI code
0022-4049(1998)126:1-3<121:EOAFCC>2.0.ZU;2-P
Abstract
We show that every free cartesian closed category can be faithfully ma pped to the category of sets. For that we use a Church-Rosser property of the appropriate typed lambda calculus. (C) 1998 Elsevier Science B .V.