Sciweavers

ACS
2007
13 years 11 months ago
Choiceless, Pointless, but not Useless: Dualities for Preframes
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...
Marcel Erné
ACS
2007
13 years 11 months ago
A Topologist's View of Chu Spaces
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
Eraldo Giuli, Walter Tholen
ACS
2007
13 years 11 months ago
Conway's Question: The Chase for Completeness
Dikran Dikranjan, Elena Martín Peinador, Va...
ACS
2007
13 years 11 months ago
Axioms for Sequential Convergence
: It is of general knowledge that those (ultra)filter convergence relations coming from a topology can be characterized by two natural axioms. However, the situation changes consi...
Gonçalo Gutierres, Dirk Hofmann
ACS
2007
13 years 11 months ago
More on Configurations in Priestley Spaces, and Some New Problems
Abstract. Prohibiting configurations (≡ induced finite connected posets) in Priestley spaces and properties of the associated classes of distributive lattices, and the related ...
Richard N. Ball, Ales Pultr, Jirí Sichler
ACS
2007
13 years 11 months ago
Algebra and Geometry of Rewriting
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
Yves Lafont
ACS
2007
13 years 11 months ago
Components of the Fundamental Category II
In this article we carry on the study of the fundamental category (Goubault and Raussen, 2002; Goubault, 2003) of a partially ordered topological space (Nachbin, 1965; Johnstone, 1...
Eric Goubault, Emmanuel Haucourt
ACS
2007
13 years 11 months ago
Directed Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...
Marco Grandis
ACS
2007
13 years 11 months ago
On Point-finiteness in Pointfree Topology
: In pointfree topology, the point-finite covers introduced by Dowker and Strauss do not behave similarly to their classical counterparts with respect to transitive quasi-uniformi...
Maria João Ferreira, Jorge Picado