Related papers: Point-free MV-topologies
We introduce a pointfree version of Raney duality. Our objects are \emph{Raney extensions} of frames, pairs $(L,C)$ where $C$ is a coframe and $L\subseteq C$ is a subframe that meet-generates it and whose embedding preserves strongly exact…
We study for a dynamical system $f:X\longrightarrow X$ some of the principal topological recurrence-kind properties with respect to the induced maps $\overline{f}:\mathcal{K}(X)\longrightarrow\mathcal{K}(X)$, on the hyperspace of non-empty…
In this work, a new discretization approach for coupled free and porous-medium flows is introduced, which uses a finite volume staggered-grid method for the discretization of the Navier-Stokes equations in the free-flow subdomain, while a…
We introduce shift algebras as certain crossed product algebras based on general function spaces and study properties, as well as the classification, of a particular class of modules depending on a set of matrix parameters. It turns out…
We consider fixed-point models for topological phases of matter formulated as discrete path integrals in the language of tensor networks. Such zero-correlation length models with an exact notion of topological invariance are known in the…
Generalized topological spaces in the sense of Cs\'{a}sz\'{a}r have two main features which distinguish them from typical topologies. First, these families of subsets are not closed under intersections. Second, we allow for the possibility…
There are several prominent duality results in pointfree topology. The Hofmann-Lawson duality establishes that the category of continuous frames is dually equivalent to the category of locally compact sober spaces. This restricts to a dual…
In this paper, we introduce the concept of quasi-point-separable topological vector spaces, which has the following important properties: 1.In general, the conditions for a topological vector space to be quasi-point-separable is not very…
Extending our insights from \cite{NVOstrowski}, we apply point-free techniques to sharpen a foundational result in Berkovich geometry. In our language, given the ring $\mathcal{A}:=K\{R^{-1}T\}$ of convergent power series over a suitable…
The theory of finitary biframes as order-theoretical duals of bitopological spaces is explored. The category of finitary biframes is a coreflective subcategory of that of biframes. Some of the advantages of adopting finitary biframes as a…
In architecture, city planning, visual arts, and other design areas, shapes are often made with points, or with structural representations based on point-sets. Shapes made with points can be understood more generally as finite arrangements…
We provide a comprehensive overview of meshfree collocation methods for numerically approximating differential operators on continuously labeled unstructured point clouds. Meshfree collocation methods do not require a computational grid or…
Framed combinatorial topology is a recent approach to tame geometry which expresses higher-dimensional stratified spaces via tractable combinatorial data. The resulting theory of spaces is well-behaved and computable. In this paper we…
The purpose of this note is to illustrate a parallel between (pre)topologies when seen among convergence spaces and (pre)approach spaces when seen among convergence approach spaces, that appears to be a more complete parallel than in the…
We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology…
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
The new approach to quantize the gravity based on the notion of differential algebra is suggested. It is shown that the differential geometry of this object can not be described in terms of points. The spatialization procedure giving rise…
We introduce a family of boundary conditions and point constraints for conformal immersions that increase the controllability of surfaces defined as minimizers of conformal variational problems. Our free boundary conditions fix the metric…
In this paper, we introduce the concept of polar fuzzy sets on fuzzy dual spaces. Using the notion of polar fuzzy sets, we define polar linear fuzzy topologies on fuzzy dual spaces and prove the Mackey-Arens type Theorem on fuzzy…
We develop a formal construction of a pointwise divergence-free basis in the nonconforming virtual element method of arbitrary order for the Stokes problem introduced in [19]. The proposed construction can be seen as a generalization of the…