相关论文: A Categorical Construction of Bachmann-Howard Fixe…
We construct the reduction of an exact category with a twist functor with respect to an element of its graded center in presence of an exact-conservative forgetful functor annihilating this central element. The procedure allows, e.g., to…
Let F be a local net of von Neumann algebras in four spacetime dimensions satisfying certain natural structural assumptions. We prove that if F has trivial superselection structure then every covariant, Haag-dual subsystem B is the fixed…
Given a Hilbert space and a finite family of operators defined on the space, the common fixed point problem (CFPP) is to find a point in the intersection of the fixed point sets of these operators. Instances of the problem have numerous…
The main purpose of this paper is to find the fixed point in such cases where existing literature remain silent. In this paper we introduce partial completeness, a new type of contraction and many other definitions. Using this approach the…
We present a completely new structure theoretic approach to the dilation theory of linear operators. Our main result is the following theorem: if $X$ is a super-reflexive Banach space and $T$ is contained in the weakly closed convex hull of…
We clarify details and fill certain gaps in the construction of a canonical Reedy fibrant resolution for a constant simplicial DG-category due to Holstein.
Corrado B\"ohm once observed that if $Y$ is any fixed point combinator (fpc), then $Y(\lambda yx.x(yx))$ is again fpc. He thus discovered the first "fpc generating scheme" -- a generic way to build new fpcs from old. Continuing this idea,…
We introduce an alternative way of constructing continuous flexible tubes and tubular structures based on a discrete, semi-discrete and smooth construction of surfaces known as T-hedra in the discrete case and profile-affine surfaces in the…
We show that the quotient of a Hom-finite triangulated category C by the kernel of the functor Hom(T, -), where T is a rigid object, is preabelian. We further show that the class of regular morphisms in the quotient admit a calculus of left…
We explore aspects of dilation theory in the finite dimensional case and show that for a commuting $n$-tuple of operators $T=(T_1,...,T_n) $ acting on some finite dimensional Hilbert space $H$ and a compact set $X\subset \mathbb{C}^n$ the…
We exploit the equivalence between $t$-structures and normal torsion theories on a stable $\infty$-category to show how a few classical topics in the theory of triangulated categories, i.e., the characterization of bounded $t$-structures in…
Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of…
We obtain an extended Reich fixed point theorem for the setting of generalized cone rectangular metric spaces without assuming the normality of the underlying cone. Our work is a generalization of the main result in \cite{AAB} and…
Averaged operators have played an important role in fixed point theory in Hilbert spaces. They emerged as a necessity to obtain solutions to fixed point problems where the underlying operator is not contractive and thus renders Banach fixed…
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…
In this paper, we prove the existence of fixed points of mappings satisfying the condition (Da), a kind of generalized nonexpansive mappings, on a weakly compact convex subset in a Banach space satisfying Opial's condition. And we use…
Michael Handel proved in Handel (1999) the existence of a fixed point for an orientation preserving homeomorphism of the open unit disk that can be extended to the closed disk, provided that it has points whose orbits form an oriented cycle…
By Goldman-Iwahori, the Bruhat-Tits building of the general linear group $\operatorname{GL}_n$ over a local field $\ell$ can be described as the set of non-archimedean norms on $\ell^n$. Via a Tannakian formalism, we generalize this picture…
A well-known result says that the Euclidean unit ball is the unique fixed point of the polarity operator. This result implies that if, in $\mathbb{R}^n$, the unit ball of some norm is equal to the unit ball of the dual norm, then the norm…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…