Related papers: Homogenousness and Specificity
Diversities have recently been developed as multiway metrics admitting clear and useful notions of hyperconvexity and tight span. In this note we consider the analytic properties of diversities, in particular the generalizations of uniform…
We give an overview of logical and semantical rules for nonmonotonic and related logics.
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…
Various characterizations are offered of injectivity of the canonical fundamental group homomorphism for a certain class of inverse limit spaces. One application characterizes the existence of a kind of generalized universal cover.
Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…
A minimal homogeneous generating system of the algebra of semi-invariants of tuples of two-by-two matrices over an infinite field of characteristic two or over the ring of integers is given. In an alternative interpretation this yields a…
A homogenizable structure $\mathcal{M}$ is a structure where we may add a finite amount of new relational symbols to represent some $\emptyset-$definable relations in order to make the structure homogeneous. In this article we will divide…
The paper studies hereditarily complete superintuitionistic deductive systems, that is, the deductive system which logic is an extension of the intuitionistic propositional logic. It is proven that for deductive systems a criterion of…
Let M be a filtered module. Some properties of elements of M are "generic" in the following sense: (being open/stable) if an element z of M has a property P then any approximation of z has P; (being dense) any element of M is approximated…
Assuming the K\"unneth type standard conjecture, we propose a way to describe objects of mixed motives explicitly. We study their formal properties, and we associate mixed motives to schemes smooth and separated over a field. This serves as…
This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…
We discuss some finite homogeneous structures, addressing the question of universality of their automorphism groups. We also study the existence of so-called Kat\v{e}tov functors in finite categories of embeddings or homomorphisms.
A notion of sectional regularity for a homogeneous ideal $I$, which measures the regularity of its generic sections with respect to linear spaces of various dimensions, is introduced. It is related to axial constants defined as the…
The phase transitions and critical properties of two types of inhomogeneous systems are reviewed. In one case, the local critical behaviour results from the particular shape of the system. Here scale-invariant forms like wedges or cones are…
In the setting of nonstandard analysis we introduce the notion of flexible sequence. The terms of flexible sequences are external numbers. These are a sort of analogue for the classical \emph{O$ (\cdot ) $} and \emph{o$ (\cdot ) $} notation…
We study the existence of uncountable first-order structures that are homogeneous with respect to their finitely generated substructures. In many classical cases this is either well-known or follows from general facts, for example, if the…
The idea of monotonicity (or positive-definiteness in the linear case) is shown to be the central theme of the solution theories associated with problems of mathematical physics. A "grand unified" setting is surveyed covering a…
In the present study we consider an example of a boundary value problem for a simple second order ordinary differential equation, which may exhibit a boundary layer phenomenon. We show that usual central finite differences, which are second…
The Hodge conjecture is shown to be equivalent to a question about the homology of very ample divisors with ordinary double point singularities. The infinitesimal version of the result is also discussed.
The study of complex systems through the lens of category theory consistently proves to be a powerful approach. We propose that cognition deserves the same category-theoretic treatment. We show that by considering a highly-compact cognitive…