Related papers: Yoneda completeness and flat completeness of order…
The starting point of this paper is the introduction of a new measure of inclusion of fuzzy set A in fuzzy set B. Previously used inclusion measures take values in the interval [0,1]; the inclusion measure proposed here takes values in a…
In this note we formulate and give a self-contained proof of the Yoneda lemma for infinity categories in the language of complete Segal spaces.
We prove the existence of a class of perfect-fluid cosmologies with polarised Gowdy symmetry and a Kasner-like singularity. These solutions of the Einstein equations depend on four free functions of one space coordinate and are constructed…
We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then…
Linearly repetitive cut and project sets are mathematical models for perfectly ordered quasicrystals. In a previous paper we presented a characterization of linearly repetitive cut and project sets. In this paper we extend the classical…
In the Cauchy problem for asymptotically flat vacuum data the solution-jets along the cylinder at space-like infinity develop in general logarithmic singularities at the critical sets at which the cylinder touches future/past null infinity.…
We give an introduction to partially wrapped Fukaya categories of surfaces with orbifold singularities. Dissecting an orbifold surface $\mathbf S$ into polygons, certain dissections give rise to formal generators, inducing a triangulated…
We prove that finite-index conformal nets are fully dualizable objects in the 3-category of conformal nets. Therefore, assuming the cobordism hypothesis applies, there exists a local framed topological field theory whose value on the point…
We define the notion of exact completion with respect to an existential elementary doctrine. We observe that the forgetful functor from the 2-category exact categories to existential elementary doctrines has a left biadjoint that can be…
In the context of the Dunkl transform a complete orthogonal system arises in a very natural way. This paper studies the weighted norm convergence of the Fourier series expansion associated to this system. We establish conditions on the…
We show that $C(X)$ admits an equivalent pointwise lower semicontinuous locally uniformly rotund norm provided $X$ is Fedorchuk compact of spectral height 3. In other words $X$ admits a fully closed map $f$ onto a metric compact $Y$ such…
This paper studies a general notion of flatness in the enriched context: P-flatness where the parameter P stands for a class of presheaves. One obtains a completion of a category A by considering the category Flat_P(A) of P-flat presheaves…
Maximally symmetric manifolds with holonomy in the unitary quaternionic group Sp(d/4) emerge from the non-Abelian Kaluza-Klein reduction of conformally flat spaces. Thus, all special manifolds with constant properly `holonomy-related'…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty fixed point set converges geometrically for any starting point. We also show that positivity is crucial for this result to hold, and the concept of…
Closure operators are very useful tools in several areas of classical mathematics and in general category theory. In fuzzy set theory, fuzzy closure operators have been studied by G. Gerla (1966). These works generally define a fuzzy subset…
Bondarko's (strong) weight complex functor is a triangulated functor from Voevodsky's triangulated category of motives to the homotopy category of chain complexes of classical Chow motives. Its construction is valid for any dg enhanced…
A few of the algebraic and topological properties of int. fuzzy continuity and int. fuzzy uniform continuity are investigated. Also, the concept of int. fuzzy uniform convergence is introduced thereafter a few result on int. fuzzy uniform…
In this paper, we prove that the set of all $F$-pure thresholds of ideals with fixed embedding dimension satisfies the ascending chain condition. As a corollary, given an integer $d$, we verify the ascending chain condition for the set of…
A formula is derived for the fixed point resolution matrices of simple current extended WZW-models and coset conformal field theories. Unlike the analogous matrices for unextended WZW-models, these matrices are in general not symmetric, and…