Polytopological Space



Link to Dbpedia

What is Polytopological space?

In general topology, a polytopological space consists of a set together with a family of topologies on that is linearly ordered by the inclusion relation (is an arbitrary index set). It is usually assumed that the topologies are in non-decreasing order, but some authors prefer to put the associated closure operators in non-decreasing order (operators and satisfy if and only if for all ), in which case the topologies have to be non-increasing. Polytopological spaces were introduced in 2008 by the philosopher for the purpose of defining a topological model of Japaridze's polymodal logic (GLP). They subsequently became an object of study in their own right, specifically in connection with Kuratowski's closure-complement problem.

Technology Types


Tech Info

Source: [object Object]
 — Date merged: 11/6/2021, 1:32:44 PM
 — Date scraped: 5/20/2021, 5:52:02 PM