A Cartesian closed extension of the category of locales

13 years 10 months ago

Download rw4.cs.uni-sb.de

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 products and all exponentials of exponentiable locales.

Reinhold Heckmann

Real-time Traffic

Exponentiable Locales | Locales | MSCS 2006 | Subcategory |

claim paper

Related Content

» HigherOrder Containers

» Representing Nested Inductive Types Using WTypes

» Nonwellfounded trees in categories

» Life without the Terminal Type

» Conditions for Interoperability

» A Relationship between Equilogical Spaces and Type Two Effectivity

» The design and implementation of typed scheme

» IPMIP an interdomain mobility extension for proxymobile IP

» Not Enough Points Is Enough

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2006
Where	MSCS
Authors	Reinhold Heckmann

Comments (0)

Sciweavers

A Cartesian closed extension of the category of locales

Exponentiable Locales | Locales | MSCS 2006 | Subcategory |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers