Related papers: The universal coCartesian fibration

We consider algebras of languages over the signature of reversible Kleene lattices, that is the regular operations (empty and unit languages, union, concatenation and Kleene star) together with intersection and mirror image. We provide a…

We provide an $(\infty,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty,n)$-category of double $(\infty,n-1)$-right fibrations over an $(\infty,n)$-category…

In this note we define fibrations of topological stacks and establish their main properties. We prove various standard results about fibrations (fiber homotopy exact sequence, Leray-Serre and Eilenberg-Moore spectral sequences, etc.). We…

Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.

We propose a general definition of unprojection, and prove that it indeed generalizes previous efforts.

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.

The goal of this paper is to give a simple proof of Deligne's conjecture (proven by Fujiwara) and to generalize it to the situation appearing in our joint project with David Kazhdan on the global Langlands correspondence over function…

We prove an invariance of plurigenera for some foliated surface pairs of general type.

We present some new results on union ultrafilters. We characterize stability for union ultrafilters and, as the main result, we construct a new kind of unordered union ultrafilter.

In this paper, we explain how the more general context of generalised equivariant bundles allows for a simple inductive proof of the ECHP. We also make clear the link between the ECHP and the theory of Hurewicz fibrations.

A combinatorial proof of the unimodality of the generalized q-Gaussian coefficients based on the explicit formula for Kostka-Foulkes polynomials is given.

Recently, the equivalence between the \delta N and covariant formalisms has been shown (Suyama et al. 2012), but they essentially assumed Einstein gravity in their proof. They showed that the evolution equation of the curvature covector in…

In a recent paper, we have reported a universal power law for both site and bond percolation thresholds for any lattice of cubic symmetry. Extension to anisotropic lattices is discussed.

In this paper, we introduce a new discretization of the Gaussian curvature on surfaces, which is defined as the quotient of the angle defect and the area of some dual cell of a weighted triangulation at the conic singularity. A discrete…

This paper is concerned with the concept of linear repetitivity in the theory of tilings. We prove a general uniform subadditive ergodic theorem for linearly repetitive tilings. This theorem unifies and extends various known (sub)additive…

In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" $p^{\vee}$ of a cartesian fibration $p$, and we show they are classified by the same functor to $\mathbf{Cat}_{\infty}$.

We study an analogue of fibrations of topological spaces with the homotopy lifting property in the setting of C*-algebra bundles. We then derive an analogue of the Leray-Serre spectral sequence to compute the K-theory of the fibration in…

We identify, up to homeomorphisms, the affine Springer fibers for GL(n) on a local field of equal characteristics with some coverings of compactified jacobians of singular projective curves. This allows us to prove an irreducibility…

In this note, we investigate iterations of consistency, local and uniform reflection over $\mathbf{HA}$ (Heyting Arithmetic). In the case of uniform reflection, we give a new proof of Dragalin's extension of Feferman's completeness theorem…

We prove two general factorization theorems for fixed-point invariants of fibrations: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar multiplicativity results for the Lefschetz and Nielsen…