Related papers: A Logical Analysis of Universal Properties
The Euler characteristic is the only additive topological invariant for spaces of certain sort, in particular, for manifolds with some finiteness properties. A generalization of the notion of a manifold is the notion of a V-manifold. Here…
In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II_1 factors. Here are some sample results: (1) an automorphism is approximately…
We present a general form of attribute exploration, a knowledge completion algorithm from Formal Concept Analysis. The aim of our presentation is not only to extend the applicability of attribute exploration by a general description. It may…
In models of emergent gravity the metric arises as the expectation value of some collective field. Usually, many different collective fields with appropriate tensor properties are candidates for a metric. Which collective field describes…
Ontologies formalise how the concepts from a given domain are interrelated. Despite their clear potential as a backbone for explainable AI, existing ontologies tend to be highly incomplete, which acts as a significant barrier to their more…
The notion that the metric field in general relativity can be understood as a property of space-time rests on a feature of the theory sometimes called universal coupling -- the claim that rods and clocks "measure" the metric in a way that…
We discuss the use of field theory for the exact determination of universal properties in two-dimensional statistical mechanics. After a compact derivation of critical exponents of main universality classes, we turn to the off-critical…
One considers geometry with the intransitive equaivalence relation. Such a geometry is a physical geometry, i.e. it is described completely by the world function, which is a half of the squared distance function. The physical geometry…
In this work we define a 2-dimensional analogue of extranatural transformation and use these to characterise codescent objects. They will be seen as universal objects amongst extrapseudonatural transformations in a similar manner in which…
The positive operator (valued) measures (POMs) allow one to generalize the notion of observable beyond the traditional one based on projection valued measures (PVMs). Here, we argue that this generalized conception of observable enables a…
A fractal can be simply understood as a set or pattern in which there are far more small things than large ones, e.g., far more small geographic features than large ones on the earth surface, or far more large-scale maps than small-scale…
If a mapping of several complex variables into projective space is holomorphic in each pair of variables, then it is globally holomorphic.
In this paper, we define the notion of a mapping on soft classes and study several properties of images and inverse images of soft sets supported by examples and counterexamples. Finally, these notions have been applied to the problem of…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We introduce a linear algebraic object called a bidiagonal triple. A bidiagonal triple consists of three diagonalizable linear transformations on a finite-dimensional vector space, each of which acts in a bidiagonal fashion on the…
The Unified Modeling Language UML is a language for specifying visualizing and documenting object oriented systems UML combines the concepts of OOA OODOMT and OOSE and is intended as a standard in the domain of object oriented analysis and…
Given a scheme S and a flat morphism T \to S of finite presentation we define a surjective S-morphism to an {\'e}tale and separated S-scheme, which is universal in an obvious sense. Properties of this morphism are deduced from a thorough…
We extend the concept of the law of a finite graph to graphings, which are, in general, infinite graphs whose vertices are equipped with the structure of a probability space. By doing this, we obtain a vast array of new unimodular measures.…
The main results of this paper show that various coarse (`large scale') geometric properties are closely related. In particular, we show that property A implies the operator norm localisation property, and thus that norms of operators…
A definition of a {\it Realistic} Physics Theory is proposed based on the idea that, at all time, the set of physical properties possessed (at that time) by a system should unequivocally determine the probabilities of outcomes of all…