会议论文详细信息
| The 7th Annual Symposium on Computer Applications in Medical Care | |
| A Cartesian Closed Extension of the Category of Locales (Preliminary Version) | |
| Reinhold Heckmann∗ | |
| PID : 77054 | |
| 来源: CEUR | |
 PDF
|
|
【 摘 要 】
We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| A Cartesian Closed Extension of the Category of Locales (Preliminary Version) | 291KB |  download |
878987797
028-85220240
