On the monadic nature of categories of ordered sets

Proposition 6 Let X = X, X X2 be the product of two locally decomposable point-set apartness spaces, and f a mapping of a point-set apartness space Y into

closed and therefore it is interesting to look for a cartesian closed modific- ation, especially a so-called cartesian closed hull, if it

(Top)ex, because Top itself is extensive and has finite limits; on the contrary, the proof is more delicate if one works with HTop, where only weak limits are

Pro category Tow of towers of simplicial sets in a certain category Net of strict Ind-towers, in which we have explicit constructions for all colimits, as well

providing a good category. Measure preservation is too stringent a requirement for morphisms, however. These are simply too much like equivalences.. the spaces aren’t

Dans la deuxibme partie on d6montre une condition n6cessaire et suffi- sante pour 1’6quivalence entre categories exactes avec assez de projec- tifs ; on utilise

L6we and Ehrig[3, 11] also formulated graph rewritings using a single pushout in the category of graphs based on sets and partial functions.. Raoult and Kennaway’s

It is a well known fact that Creg, the category of com- pletely regular topological spaces and continuous maps, is not cartesian closed and hence is