Related papers: Real coextensions as a tool for constructing trian…
A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. This is a finiteness condition, and we investigate whether or not it is preserved under some standard…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
Uninorms with continuous underlying t-norm and t-conorm are discussed and properties of the set of discontinuity points of such a uninorm are shown. This set is proved to be a subset of the graph of a special symmetric, surjective,…
The so-called l0 pseudonorm on the Euclidean space Rd counts the number of nonzero components of a vector. We say that a sequence of norms is strictly increasingly graded (with respect to the l0 pseudonorm) if it is nondecreasing and that…
We build a model structure from the simple point of departure of a structured interval in a monoidal category - more generally, a structured cylinder and a structured co-cylinder in a category.
In this paper, we introduce the notion of pseudo-triangular norm (pseudo-t-norm, for short) as a classes of weakly associative operations on trellises and as a generalization of triangular norm (t-norm, for short) on bounded trellises and…
The real unit interval is the fundamental building block for many branches of mathematics like probability theory, measure theory, convex sets and homotopy theory. However, a priori the unit interval could be considered an arbitrary choice…
We construct a constrained trivariate extension of the univariate normalized B-basis of the vector space of trigonometric polynomials of arbitrary (finite) order n defined on any compact interval [0,\alpha], where \alpha is a fixed (shape)…
This article first introduces the concept of a general pseudo-homogeneous triangular norm. It then gives some properties of general pseudo-homogeneous triangular norms. Finally, it characterizes all general pseudo-homogeneous triangular…
This is a simple way rigorously to construct Grassmann, Clifford and Geometric Algebras, allowing degenerate bilinear forms, infinite dimension, using fields or certain modules (characteristic 2 with limitation) - and characterize the…
In a triangulated category T with a pair of triangulated subcategories X and Y, one may consider the subcategory of extensions X*Y. We give conditions for X*Y to be triangulated and use them to provide tools for constructing stable…
We prove the logarithmic extension theorem for one-forms on strongly $F$-regular singularities. Additionally, we establish the logarithmic extension theorem for one-forms on three-dimensional klt singularities in characteristic $p>41$. To…
We show constructively that, under certain regularity assumptions, any system of coupled linear differential equations with variable coefficients can be tridiagonalized by a time-dependent Lanczos-like method. The proof we present formally…
The tent map is an elementary example of an interval map possessing many interesting properties, such as dense periodicity, exactness, Lipschitzness and a kind of length-expansiveness. It is often used in constructions of dynamical systems…
Inspired by recent work of Batanin and Berger on the homotopy theory of operads, a general monad-theoretic context for speaking about structures within structures is presented, and the problem of constructing the universal ambient structure…
It is known that in the lattice of normal extensions of the logic KTB there are unique logics of codimensions 1 and 2, namely, the logic of a single reflexive point, and the logic of the total relation on two points. A natural question…
A totally ordered monoid, or tomonoid for short, is a monoid endowed with a compatible total order. We deal in this paper with tomonoids that are finite and negative, where negativity means that the monoidal identity is the top element.…
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…
In this paper, we give a natural braiding on the universal central extension of a crossed module of Lie algebras with a given braiding and construct the universal central extension of a braided crossed module of Lie algebras, showing that,…
The purpose of this article is twofold: first of all, we want to define two norms using the space of intrinsically Lipschitz sections. On the other hand, we want to generalize an Extension Theorem proved by the author in the context of the…