Related papers: Localic Relations with Open Cones
A characterization is given of the subsets of a group that extend to the positive cone of a right order on the group and used to relate validity of equations in lattice-ordered groups (l-groups) to subsets of free groups that extend to…
This paper contains results from two areas -- formal theory of Kan extensions and concrete categories. The contribution to the former topic is based on the extension of the concept of Kan extension to the cones and we prove that limiting…
The class of convex sets that admit approximations as Minkowski sum of a compact convex set and a closed convex cone in the Hausdorff distance is introduced. These sets are called approximately Motzkin-decomposable and generalize the notion…
The Local-to-Global-Principle used in the proof of convexity theorems for momentum maps has been extracted as a statement of pure topology enriched with a structure of convexity. We extend this principle to not necessarily closed maps…
This chapter sets out preliminaries for the duality theory in later chapters. An underlying idea is that local cohomology functors are higher derived functors of colocalizations (a.k.a.~coreflections). Predominantly well-known facts about…
We introduce the notion of an EILC topos: a topos $\mathcal{E}$ such that every essential geometric morphism with codomain $\mathcal{E}$ is locally connected. We then show that the topos of sheaves on a topological space $X$ is EILC if $X$…
In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the…
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…
Rough set theory is a new mathematical approach to imperfect knowledge. The notion of rough sets is generalized by using an arbitrary binary relation on attribute values in information systems, instead of the trivial equality relation. The…
Bipartite networks are powerful descriptions of complex systems characterized by two different classes of nodes and connections allowed only across but not within the two classes. Surprisingly, current complex network theory presents a…
Many classically used function space structures (including the topology of pointwise convergence, the compact-open topology, the Isbell topology and the continuous convergence) are induced by a hyperspace structure counterpart. This scheme…
Problems related to projections on closed convex cones are frequently encountered in optimization theory and related fields. To study these problems, various unifying ideas have been introduced, including asymmetric vector-valued norms and…
We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a…
While for non-relativistic short-range interactions, the spread of information is local, remaining confined in an effective light cone, long-range interactions can generate either nonlocal (faster-than-ballistic) or local (ballistic) spread…
We investigate the role of coalgebraic predicate logic, a logic for neighborhood frames first proposed by Chang, in the study of monotonic modal logics. We prove analogues of the Goldblatt-Thomason Theorem and Fine's Canonicity Theorem for…
Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity…
The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation…
Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…
The study of topological information of spatial objects has for a long time been a focus of research in disciplines like computational geometry, spatial reasoning, cognitive science, and robotics. While the majority of these researches…
Refined forms of the local Langlands correspondence seek to relate representations of reductive groups over local fields with sheaves on stacks of Langlands parameters. But what kind of sheaves? Conjectures in the spirit of Kazhdan-Lusztig…