Sensor-enabled wearable devices and smartphones collect data about users’ movements, location, and private spaces and activities. As with many ubiquitous computing technologies, this data collection happens in the background and appears “seamless” or invisible to the user. Despite this, users are still expected to make informed choices regarding consent to data collection. Folk theories are set...

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...