Related papers: Univalent completion
In this article the author endows the functor category [B(C2),Gpd] with the structure of a type-theoretic fibration category with a universe using the projective fibrations. It offers a new model of Martin-L\"of type theory with dependent…
We show by a ridiculously simple argument that, for any norm on the tensor product of vector spaces, every element of the completion can be represented as a convergent series of elementary tensors.
We study the so-called integral means spectrum for univalent functions on the unit disk. Using an inequality of Prawitz (generalizing the classical area theorem of Gronwall), we find -- by applying a Moebius mapping to lift the result to…
We introduce the notion of combinatorial type of varieties $X$ which generalizes the concept of the dual complex of SNC divisors. It is a unique, up to homotopy, finite simplicial complex $\Sigma(X)$ which is functorial with respect to…
We define a notion of cofibration among n-categories and show that the cofibrant objects are exactly the free ones, that is those generated by polygraphs.
We prove that a fibration X \to \Bbb P_1, the general fiber of which is a smooth Fano threefold, is rationally connected. The proof is based on a generalization of Tsen's classical theorem: a fibration X/C over a curve the general fiber of…
In this thesis, we employ simplicial methods to study actions, principal bundles, and bibundles of higher groupoids. Roughly, we use Kan fibrations to model actions of higher groupoids, we use pairs of a Kan fibration and a special acyclic…
We construct universal Lefschetz fibrations, defined in analogy with classical universal bundles. We also introduce the cobordism groups of Lefschetz fibrations, and we see how these groups are quotients of the singular bordism groups via…
We consider commensurability of quadratic differentials on surfaces. Each commensurability class has a natural order by the covering relation. We show that each commensurability class contains a unique (orbifold) element. We also discuss…
We study Lie foliations on compact manifolds, in case the Lie group is compact. Our main results improve Tischler classical result on the existence of fibration and, as an application, we study the case the manifold has an amenable…
There exist cubical transition systems containing cubes having an arbitrarily large number of faces. A regular transition system is a cubical transition system such that each cube has the good number of faces. The categorical and…
Recently Stephen Theriault and I found an elementary construction of Anick's spaces and proved their main properties(arXiv:0710.1024).In this work the fundamental fibration is decomposed. This is useful in studying maps out of Anick's…
For a certain maximal unipotent family of Abelian varieties over the punctured disc, we show that after a base change, one can complete the family over a disc such that the whole degeneration can be simultaneously balanced embedded into a…
In this paper we introduce a canonical method of constructing simple uniform semifield extensions of uniform layered semifields introduced by Izhakian Knebusch and Rowen in the paper 'Layered tropical mathematics'. Our construction includes…
A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of…
Let $K$ be a compact set in the complex plane $\C$, such that its complement in the Riemann sphere, $(\C\cup\{\infty\})\sm K$, is connected. Also, let $U\subseteq\C$ be an open set which contains $K$. Then there exists a simply connected…
We define complete Segal objects, which play the role of internal higher category objects. Then we study them using representable Cartesian fibrations, in particular defining adjunctions and limits of complete Segal objects. Finally we use…
We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…
Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done…
We provide a simple characterization of simplicial complexes on few vertices that embed into the $d$-sphere. Namely, a simplicial complex on $d+3$ vertices embeds into the $d$-sphere if and only if its non-faces do not form an intersecting…