CARTESIAN CLOSEDNESS AND THE MCNEILLE COMPLETION OF AN INITIALLY STRUCTURED CATEGORY
作者:
I.W. Alderton,
期刊:
Quaestiones Mathematicae
(Taylor Available online 1985)
卷期:
Volume 8,
issue 1
页码: 63-78
ISSN:1607-3606
年代: 1985
DOI:10.1080/16073606.1985.9631901
出版商: Taylor & Francis Group
关键词: Primary 18D15;Secondary 18B10
数据来源: Taylor
摘要:
An adaptation of a theorem by Herrlich [5] shows that every initially structured category A can be fully embedded in a topological category AC, which is, in fact, a MacNeille completion of A. It is then shown that A is Cartesian closed if and only if ACis.
点击下载:
PDF (443KB)
返 回