21 search results - page 1 / 5 » A Cartesian closed extension of the category of locales |
MSCS
2006
13 years 4 months ago
2006
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 p...
CIE
2010
Springer
13 years 9 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
APAL
2007
13 years 5 months ago
2007
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Catego...
CSL
2001
Springer
13 years 9 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...