Topology Proceedings
نویسنده
چکیده
Based on original work in [TV03], this paper gives a representation theorem for the Scott continuous maps between frames in terms of natural transformations between functors indexed by frames. The result specializes to frame homomorphisms, thereby giving a representation theorem for all locale maps (i.e. continuous maps as defined in locale theory).
منابع مشابه
Rapid topology mapping of Escherichia coli inner-membrane proteins by prediction and PhoA/GFP fusion analysis.
We present an approach that allows rapid determination of the topology of Escherichia coli inner-membrane proteins by a combination of topology prediction and limited fusion-protein analysis. We derive new topology models for 12 inner-membrane proteins: MarC, PstA, TatC, YaeL, YcbM, YddQ, YdgE, YedZ, YgjV, YiaB, YigG, and YnfA. We estimate that our approach should make it possible to arrive at ...
متن کاملA global topology map of the Saccharomyces cerevisiae membrane proteome.
The yeast Saccharomyces cerevisiae is, arguably, the best understood eukaryotic model organism, yet comparatively little is known about its membrane proteome. Here, we report the cloning and expression of 617 S. cerevisiae membrane proteins as fusions to a C-terminal topology reporter and present experimentally constrained topology models for 546 proteins. By homology, the experimental topology...
متن کاملNoncommutative topology and the world's simplest index theorem.
In this article we outline an approach to index theory on the basis of methods of noncommutative topology. We start with an explicit index theorem for second-order differential operators on 3-manifolds that are Fredholm but not elliptic. This low-brow index formula is expressed in terms of winding numbers. We then proceed to show how it is derived as a special case of an index theorem for hypoe...
متن کاملTopology Proceedings A COMPARISON OF THREE TOPOLOGIES ON ORDERED SETS DRAFT OF FEBRUARY 2, 2007
We introduce two new topologies on ordered sets: the way below topology and weakly way below topology. These are similar in definition to the Scott topology, but are very different if the set is not continuous. The basic properties of these three topologies are compared. We will show that while domain representable spaces must be Baire, this is not the case with the new topologies.
متن کاملMultiperiod virtual topology design in wavelength routed optical networks - Circuits, Devices and Systems, IEE Proceedings [see also IEE Proceedings G- Circuits, Devices and
A wavelength routed optical network is considered for which the traffic matrix and possibly the physical topology are different during different periods of a time horizon. The optimal virtual topology for each of the periods will be different. Rather than using the best topology in every period and incurring a possibly significant reconfiguration cost, it is necessary to consider the optimum se...
متن کامل