Related papers: On the Philosophy of Higher Structures
In this paper, a unified framework for representing uncertain information based on the notion of an interval structure is proposed. It is shown that the lower and upper approximations of the rough-set model, the lower and upper bounds of…
A description is an entity that can be interpreted as true or false of an object, and using feature structures as descriptions accrues several computational benefits. In this paper, I create an explicit interpretation of a typed feature…
The aim of visualization is to support people in dealing with large and complex information structures, to make these structures more comprehensible, facilitate exploration, and enable knowledge discovery. However, users often have problems…
This paper describes the main concepts and performance goals for the LHC and HL-LHC projects. It summarizes the main technical challenges and highlights the key technologies that have been developed for both projects.
Machine learning models increasingly function as representational systems, yet the philosoph- ical assumptions underlying their internal structures remain largely unexamined. This paper develops a structuralist decision framework for…
This paper presents a novel possible worlds semantics, designed to elucidate the underpinnings of ultrafinitism. By constructing a careful modification of the well-known Kripke models for inuitionistic logic, we seek to extend our…
A review of the superstatistics concept is provided, including various recent applications to complex systems.
This paper is concerned with complex macroscopic behaviour arising in many-body systems through the combinations of competitive interactions and disorder, even with simple ingredients at the microscopic level. It attempts to indicate and…
Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…
The paper presents a metaphysical characterization of spatiotemporal backgrounds from a realist perspective. The conceptual analysis is based on a heuristic sketch that encompasses the common formal traits of the major spacetime theories,…
The standard assumptions that underlie many conceptual and quantitative frameworks do not hold for many complex physical, biological, and social systems. Complex systems science clarifies when and why such assumptions fail and provides…
The purpose of this paper is to give a survey on the notions of distance between subsets either of a metric space or of a measure space, including definitions, a classification, and a discussion of the best-known distance functions, which…
This paper provides a brief introduction to the work that aims to apply the achievements within the area of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process.
Our aim in this paper is to look at some transfer results in model theory (mainly in the context of o-minimal structures) from the category theory viewpoint.
We argue for a convergence of crystallography, materials science and biology, that will come about through asking materials questions about biology and biological questions about materials, illuminated by considerations of information. The…
Constructor theory seeks to express all fundamental scientific theories in terms of a dichotomy between possible and impossible physical transformations - those that can be caused to happen and those that cannot. This is a departure from…
An outline of the physics reasons to pursue a future programme in high-energy colliders is presented.
Looking for the strongest material has always been a scientific goal for the structural materials community.
We prove a Structure Identity Principle for theories defined on types of $h$-level 3 by defining a general notion of saturation for a large class of structures definable in the Univalent Foundations.
We show a possibility to apply certain philosophical concepts to the analysis of concrete mathematical structures. Such application gives a clear justification of topological and geometric properties of considered mathematical objects.