Related papers: On Extension Of Functors
Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…
We define and study the functorial spectrum for every triangulated tensor category. A reconstruction result for topologically noetherian schemes similar to (and based on) a theorem by Balmer is proved. An alternative proof of the…
We formulate a multi-valued version of the Tietze-Urysohn extension theorem. Precisely, we prove that any upper semicontinuous multi-valued map with nonempty closed convex values defined on a closed subset (resp. closed perfectly normal…
We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to…
On a reflexive Banach space $X$, if an operator $T$ admits a functional calculus for the absolutely continuous functions on its spectrum $\sigma(T) \subseteq \mathbb{R}$, then this functional calculus can always be extended to include all…
We construct a functor from the category of admissible finitely presented o-representations of GL(2,F) to the category of finite length o-representations of Gal_{Q_p}, for any finite extension F of Q_p and the ring of integers o of a finite…
We introduce a functor of functionals which preserve maximum of comonotone functions and addition of constants. This functor is a subfunctor of the functor of order-preserving functionals and contains the idempotent measure functor as…
Dependently typed proof assistant rely crucially on definitional equality, which relates types and terms that are automatically identified in the underlying type theory. This paper extends type theory with definitional functor laws,…
Let $L_0$ be a densely defined minimal linear operator in a Hilbert space $H$. We prove theorem that if there exists at least one correct extension $L_S$ of $L_0$ with the property $D(L_S)=D(L_S^*)$, then we can describe all correct…
Generalizing de Vries Compactification Theorem and strengthening Leader Local Compactification Theorem, we describe the partially ordered set $(\LL(X),\le)$ of all (up to equivalence) locally compact Hausdorff extensions of a Tychonoff…
We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…
We make a first step towards categorification of the dendriform operad, using categories of modules over the Tamari lattices. This means that we describe some functors that correspond to part of the operad structure.
We establish a correspondence between consistent comprehension schemes and complete orthogonal factorisation systems. The comprehensive factorisation of a functor between small categories arises in this way. Similar factorisation systems…
In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-propositional connectives to be closed on…
Ginzburg, Guay, Opdam and Rouquier established an equivalence of categories between a quotient category of the category $\mathcal{O}$ for the rational Cherednik algebra and the category of finite dimension modules of the Hecke algebra of a…
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…
This is mostly an overview. Given finitely presentable abelian categories $A$ and $B$, we sketch the construction of an abelian category of continuous functors from $A$ to $B$ that has nice $2$-categorical behaviour and gives an explicit…
We study the category $\mathcal{O}$ for a general Coxeter system using a formulation of Fiebig. The translation functors, the Zuckerman functors and the twisting functors are defined. We prove the fundamental properties of these functors,…
In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our…
We introduce partially defined Schur multipliers and obtain necessary and sufficient conditions for the existence of extensions to fully defined positive Schur multipliers, in terms of operator systems canonically associated with their…