Related papers: Effective descent morphisms of ordered families
Categories of locally ordered spaces are especially well-adapted to the realization of most precubical sets, though their colimits are not so easy to determine (in comparison with colimits in the category of d-spaces for example). We use…
A full triangulated subcategory $\mathsf{L} \subset \mathsf{T}$ of triangulated category $\mathsf{T}$ is \emph{localizing} if it is stable for coproducts. If, further, $\mathsf{T}$ is $\otimes$-triangulated, we say that $\mathsf{L}$ is…
Morphisms are homomorphisms under the concatenation operation of the set of words over a finite set. Changing the elements of the finite set does not essentially change the morphism. We propose a way to select a unique representing member…
It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps…
In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf…
In this paper we provide sufficient conditions in order to show that the set image of a continuous and shift-commuting map defined on a shift space over an arbitrary discrete alphabet is also a shift space; additionally, if such a map is…
A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has…
A new higher-order accurate method is proposed that combines the advantages of the classical $p$-version of the FEM on body-fitted meshes with embedded domain methods. A background mesh composed by higher-order Lagrange elements is used.…
We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double…
We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how…
We investigate the quadratic descent of totally decomposable algebras with involution of orthogonal type in characteristic two. Both separable and inseparable extensions are included.
In this paper we provide a framework for quantitative statements on distances and measures when studying algebraic varieties and morphisms of algebraic varieties over local fields. We will concentrate on local fields of the type…
We prove that, for every decreasing sequence {a \sb k} of natural numbers, there exists a map f: X --> X with cat (f\sp k)=a\sb k.
We investigate the poset (P(X),\subset), where P(X) is the set of isomorphic suborders of a countable ultrahomogeneous partial order X. For X different from (resp. equal to) a countable antichain the order types of maximal chains in…
We revisit the classical dual ascent algorithm for minimization of convex functionals in the presence of linear constraints, and give convergence results which apply even for non-convex functionals. We describe limit points in terms of the…
In this paper, we study the symmetric rank of products of linear forms and an irreducible quadratic form. The main result presents a new, non-trivial lower bound for the rank, and the arguments rely on the apolarity lemma. In the special…
The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…
We show how an effect algebra $\mathcal{X}$ can be regarded as a category, where the morphisms $x \rightarrow y$ are the elements $f$ such that $x \leq f \leq y$. This gives an embedding $\mathbf{EA} \rightarrow \mathbf{Cat}$. The interval…
Coordinate descent methods have considerable impact in global optimization because global (or, at least, almost global) minimization is affordable for low-dimensional problems. Coordinate descent methods with high-order regularized models…
We study analogues of Cartan decompositions of Lie groups for totally disconnected locally compact groups. It is shown using these decompositions that a large class of totally disconnected locally compact groups acting on trees and…