Related papers: On lifting univalence to the equivariant setting

A standard result from the theory of Grothendieck fibrations states that if $p : E \to B$ is a fibration, then $E$ has limits of shape $\mathcal{J}$ if $B$ has limits of shape $\mathcal{J}$ the fibers of $\mathcal{E}$ have limits of shape…

We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive…

We develop further the theory of weak factorization systems and algebraic weak factorization systems. In particular, we give a method for constructing (algebraic) weak factorization systems whose right maps can be thought of as (uniform)…

We define a category $v\mathcal{T}$ of tangles diagrams drawn on surfaces with boundaries. On the one hand we show that there is a natural functor from the category of virtual tangles to $v\mathcal{T}$ which induces an equivalence of…

We posit that transforming similarity relations form the structural basis of comprehensible dynamic systems. This paper introduces Similarity Field Theory, a mathematical framework that formalizes the principles governing similarity values…

In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the…

Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.…

Univalent functions are complex, analytic (holomorphic) and injective functions that have been widely discussed in complex analysis. It was recently proposed that the stringent constraints that univalence imposes on the growth of functions…

We introduce the notion of a relative spherical category. We prove that such a category gives rise to the generalized Kashaev and Turaev-Viro-type 3-manifold invariants defined in arXiv:1008.3103 and arXiv:0910.1624, respectively. In this…

We consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by localizing the Fukaya category of a nearby fiber at Seidel's natural transformation, and show that this possesses several desirable…

We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…

We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent…

We contribute XTT, a cubical reconstruction of Observational Type Theory which extends Martin-L\"of's intensional type theory with a dependent equality type that enjoys function extensionality and a judgmental version of the unicity of…

Alexandrov spaces are defined via axioms similar to those given by Euclid. The Alexandrov axioms replace certain equalities with inequalities. Depending on the signs of the inequalities, we obtain Alexandrov spaces with curvature bounded…

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…

This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the…

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…

We define a new model structure on the category of small categories, which is intimately related to the notion of coverings and fundamental groups of small categories. Fibrant objects in the model structure coincide with groupoids, and the…

Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…

This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and…