相关论文: Univalence in Simplicial Sets

Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this…

This paper addresses openness, density and structural stability conditions of one-parameter families of 3D piecewise smooth vector fields (PSVFs) defined around typical singularities. Our treatment is local and the switching set, $M$, is a…

This article generalises to K\"ahler orbifolds general results on uniformisation of compact K\"ahler manifolds such as the Shafarevich conjecture for linear fundamental groups.

We construct a functor associating a cubical set to a (simple) graph. We show that cubical sets arising in this way are Kan complexes, and that the A-groups of a graph coincide with the homotopy groups of the associated Kan complex. We use…

A semisimplicial set has face maps but not degeneracies. A basic fact, due to Rourke and Sanderson, is that a semisimplicial set satisfying the Kan condition can be given a simplicial structure. The present paper gives a combinatorial proof…

This article is a summary of the author's unpublished Ph.D thesis. Its purpose is to generalise a construction by H. Cassens and P. Slodowy of the semiuniversal deformations of the simple singularities of type $A_r$, $D_r$, $E_6$, $E_7$ and…

Following a project of developing conventions and notations for informal type theory carried out in the homotopy type theory book for a framework built out of an augmentation of constructive type theory with axioms governing…

Univalence was first defined in the setting of homotopy type theory by Voevodsky, who also (along with Kapulkin and Lumsdaine) adapted it to a model categorical setting, which was subsequently generalized to locally Cartesian closed…

Auroux, Donaldson and Katzarkov introduced broken Lefschetz fibrations as a generalization of Lefshcetz fibrations in order to describe near-symplectic 4-manifolds. We first study monodromy representations of higher sides of genus-1…

We have another look at the construction by Hofmann and Streicher of a universe $(U,{\mathsf{E}l})$ for the interpretation of Martin-L\"of type theory in a presheaf category $\psh{\C}$. It turns out that $(U,{\mathsf{E}l})$ can be described…

A general theorem on fibers of singular sets is presented.

We construct a natural generalized complex structure on the total space of any bundle endowed with a Chern connection and whose typical fibre is a homogeneous symplectic manifold. This extends known constructions of generalized complex…

We give a new explicit construction for the simplicial group $K(A,n)$. We explain the topological interpretation and discuss some possible applications.

The $2n$ dimensional manifold with two mutually commutative operators of differentiation is introduced. Nontrivial multidimensional integrable systems connected with arbitrary graded (semisimple) algebras are constructed. The general…

The canonical map from the Kan subdivision of a product of finite simplicial sets to the product of the Kan subdivisions is a simple map, in the sense that its geometric realization has contractible point inverses.

Equifacetal simplices, all of whose codimension one faces are congruent to one another, are studied. It is shown that the isometry group of such a simplex acts transitively on its set of vertices, and, as an application, equifacetal…

We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set…

We present a realisation of the universal/simple Bershadsky--Polyakov vertex algebras as subalgebras of the tensor product of the universal/simple Zamolodchikov vertex algebras and an isotropic lattice vertex algebra. This generalises the…

A definable pair of disjoint non-OD sets of reals (hence, indiscernible sets) exists in the Sacks and $E_0$-large generic extensions of the constructible universe $L$.

We introduce new families of pure quantum states that are constructed on top of the well-known Gilmore-Perelomov group-theoretic coherent states. We do this by constructing unitaries as the exponential of operators quadratic in Cartan…