Related papers: Quantales, generalised premetrics and free locales
We study the predual of the space of functions of bounded variation defined over a metric measure space $({\rm X},{\sf d},\mathfrak m)$ with $\mathfrak m$ finite. More specifically, for any exponent $p\in(1,\infty)$ we construct an…
It is known that if any function acting from precompact metric space to itself increases the distance between some pair of points then it must decrease distance between some other pair of points. We show that this is not the case for…
For a (possibly large) realized limit sketch $\mathcal{S}$ such that every $\mathcal{S}$-model is small in a suitable sense we show that the category of cocontinuous functors $\mathsf{Mod}(\mathcal{S}) \to \mathcal{C}$ into a cocomplete…
Let $\theta\in\mathbb{R}^d$. We associate three objects to each approximation $(p,q)\in \mathbb{Z}^d\times \mathbb{N}$ of $\theta$: the projection of the lattice $\mathbb{Z}^{d+1}$ to the hyperplane of the first $d$ coordinates along the…
What does it mean for a shape to change continuously? Over the space of convex regions, there is only one "reasonable" answer. However, over a broader class of regions, such as the class of star-shaped regions, there can be many different…
We develop a common semantic framework for the interpretation both of $\mathbf{IPC}$, the intuitionistic propositional calculus, and of logics weaker than $\mathbf{IPC}$ (substructural and subintuitionistic logics). This is done by proving…
The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator $F$ is a function on a space of constructively given objects $x$, defined by mapping construction instructions for $x$ to…
In this paper, for a metrizable space $Z$, we consider the space of metrics that generate the same topology of $Z$, and that space of metrics is equipped with the supremum metrics. For a metrizable space $X$ and a closed subset $A$ of it,…
We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…
Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…
In this paper, we introduce the notions of pre-uniform spaces and pre-proximities and investigate some basic properties about them, where the definition of pre-uniformity here is different with the pre-uniformities which are studied in…
We revisit results concerning the connection between subspaces of a space and sublocales of its locale of open sets. The approach we present is based on the observation that for every locale $L$ its spatial sublocales…
We study certain integer valued length functions on triangulated categories and establish a correspondence between such functions and cohomological functors taking values in the category of finite length modules over some ring. The…
We study spaces $\mathcal{CV}^{k}(\Omega,E)$ of $k$-times continuously partially differentiable functions on an open set $\Omega\subset\mathbb{R}^{d}$ with values in a locally convex Hausdorff space $E$. The space…
Quillen's notion of small object and the Gabriel-Ulmer notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in…
Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…
We consider profunctors $f : P \promap Q$ between posets and introduce their {\em graph} and {\em ascent}. The profunctors $\Pro(P,Q)$ form themselves a poset, and we consider a partition $\cI \sqcup \cF$ of this into a down-set $\cI$ and…
The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…
One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is locally uniformly continuous. This fact can be viewed as…
Recently the author has studied rings for which products of flat modules have finite flat dimension. In this paper we extend the theory to characterize when products of modules in $\mathcal T$ have finite $\mathcal T$-projective dimension,…