Related papers: On lifting univalence to the equivariant setting
Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract…
We introduce a new model structure on the category of dendroidal spaces, designed to provide a further model for the homotopy theory of $\infty$-operads. This model is directly analogous to a recent construction on the category of…
Motivated by problems in which data are given over covering generating families, we suggest a new cohomology theory for diffeological spaces, called diffeological \v{C}ech cohomology, which is an exact $ \partial $-functor of the section…
We define a new category of non-archimedean analytic spaces over a complete discretely valued field, which we call uniformly rigid. It extends the category of rigid spaces, and it can be described in terms of bounded functions on products…
Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories endowed with three classes of morphisms…
We begin by recalling the essentially global character of universes in various models of homotopy type theory, which prevents a straightforward axiomatization of their properties using the internal language of the presheaf toposes from…
We introduce global model categories as a general framework to capture several phenomena in global equivariant homotopy theory. We then construct genuine stabilizations of these, generalizing the usual passage from unstable to stable global…
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
Consider a cofibrantly generated model category $S$, a small category $C$ and a subcategory $D$ of $C$. We endow the category $S^C$ of functors from $C$ to $S$ with a model structure, defining weak equivalences and fibrations objectwise but…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…
We introduce a new category of non-archimedean analytic spaces over a complete discretely valued field. These spaces, which we call uniformly rigid, may be viewed as classical rigid-analytic spaces together with an additional uniform…
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…
The purpose of this paper is to study the equivalence relation on unitary bases defined by R. F. Werner [{\it J. Phys. A: Math. Gen.} {\bf 34} (2001) 7081], relate it to local operations on maximally entangled vectors bases, find an…
The Vassiliev-Gusarov link invariants of finite type are known to be closely related to perturbation theory for Chern-Simons theory. In order to clarify the perturbative nature of such link invariants, we introduce an algebra V_infinity…
In this survey, we remind some fibrations structure theorems (also called Milnor's fibrations) recently proved in the real and complex case, in the local and global settings. We give several Poincar\'e-Hopf type formulae which relates the…
In this paper we outline a program for the classification of Floer-type theories, (or defining invariants of finite type for families). We consider Khovanov complexes as a local system on the space of knots introduced by V. Vassiliev and…
We present a framework for studying the dynamics of equivariant vector fields near relative equilibria. To overcome the lack of linearization at a relative equilibrium or the possible non-smoothness of the orbit space, we categorify the…
Grothendieck fibrations provide a unifying algebraic framework that underlies the treatment of various form of logics, such as first order logic, higher order logics and dependent type theories. In the categorical approach to logic proposed…