Related papers: The Synthetic Sierpi\'nski Cone
We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them to probe the internal categorical structures of…
An extension of Marcinkiewicz Interpolation Theorem, allowing intermediate spaces of Orlicz type, is proved. This generalization yields a necessary and sufficient condition so that every quasilinear operator, which maps the set, $S(X,\mu)$,…
A mechanical linkage is a mechanism made of rigid rods linked together by flexible joints, in which some vertices are fixed and others may move. The partial configuration space of a linkage is the set of all the possible positions of a…
We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…
We prove that a compact space $K$ embeds into a $\sigma$-product of compact metrizable spaces ($\sigma$-product of intervals) if and only if $K$ is (strongly countable-dimensional) hereditarily metalindel\"of and every subspace of $K$ has a…
Assume that $\mathcal{P}$ is a topological property of a space $X$, then we say that $X$ is {\it dense-$\mathcal{P}$} if each dense subset of $X$ has the property $\mathcal{P}$. In this paper, we mainly discuss dense subsets of a space $X$,…
A unitary representation of a, possibly infinite dimensional, Lie group $G$ is called semi-bounded if the corresponding operators $i\dd\pi(x)$ from the derived representations are uniformly bounded from above on some non-empty open subset…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
In a previous paper, the first three authors formulated a precise conjecture about the dimension of the {\it generalized Severi variety} $M^n_{d,g; {\rm S}, {\bf k}}$ of degree-$d$ holomorphic maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$…
A Mazurkiewicz set is a plane subset that intersect every straight line at exactly two points, and a Sierpi\'{n}ski-Zygmund function is a function from $\mathbb{R}$ into $\mathbb{R}$ that has as little of the standard continuity as…
In this paper we discuss the problem of existence of so called weak Sierpi\'nski sets in groups. It is known that group $G$ has a Sierpi\'nski subset if and only if it contains a free subgroup. In their paper, Tomkowicz and Wagon…
Given a closed subvariety X in a projective space, the rank with respect to X of a point p in this projective space is the least integer r such that p lies in the linear span of some r points of X. Let W_k be the closure of the set of…
We show that every finite-dimensional Euclidean space contains compact universal differentiability sets of upper Minkowski dimension one. In other words, there are compact sets $S$ of upper Minkowski dimension one such that every Lipschitz…
We introduce hypergeometric-type sequences. They are linear combinations of interlaced hypergeometric sequences (of arbitrary interlacements). We prove that they form a subring of the ring of holonomic sequences. An interesting family of…
Given a limit sketch in which the cones have a finite connected base, we show that a model structure of "up to homotopy" models for this limit sketch in a suitable model category can be transferred to a Quillen equivalent model structure on…
A classical tensor product $A \,\otimes\, B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A \times B$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$…
In this paper, we begin an investigation of infinite genus handlebodies, infinitely generated Schottky groups, and related uniformization questions by giving appropriate definitions for them. There are uncountably many topological types of…
For any Tychonoff space $X$ let $C_p(X)$ (resp., $C^*_p(X)$) be the set of all continuous (resp., and bounded) functions on $X$ with the pointwise convergence topology. Given Tychonoff spaces $X$ and $Y$, Uspenskij \cite{us} proved that if…
In this work, we prove some trace theorems for function spaces with a nonlocal character that contain the classical $W^{s,p}$ space as a subspace. The result we obtain generalizes well known trace theorems for $W^{s,p}(\Omega)$ functions…
We define a class of symplectic fibrations called symplectic configurations. They are natural generalization of Hamiltonian fibrations. Their geometric and topological properties are investigated. We are mainly concentrated on integral…