Sciweavers

3 search results - page 1 / 1
» Extensions of Functors From Set to V-cat
Sort
View
136
Voted
ENTCS
2006
138views more  ENTCS 2006»
15 years 1 months ago
Some Properties and Some Problems on Set Functors
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and ...
Daniela Cancila, Furio Honsell, Marina Lenisa
78
Voted
ACS
2006
15 years 1 months ago
Universality of Coproducts in Categories of Lax Algebras
Abstract. Categories of lax (T, V )-algebras are shown to have pullbackstable coproducts if T preserves inverse images. The general result not only gives a common proof of this pro...
Mojgan Mahmoudi, Christoph Schubert, Walter Tholen
84
Voted
MLQ
2002
87views more  MLQ 2002»
15 years 24 days ago
A Relationship between Equilogical Spaces and Type Two Effectivity
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
Andrej Bauer