Related papers: Models of Homotopy Type Theory with an Interval Ty…
A typoid is a type equipped with an equivalence relation, such that the terms of equivalence between the terms of the type satisfy certain conditions, with respect to a given equivalence relation between them, that generalise the properties…
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…
This is the second of two papers that introduce a deformation theoretic framework to explain and broaden a link between homotopy algebra and probability theory. This paper outlines how the framework can assist in the development of homotopy…
The Isometry Theorem for continuous quiver of type $A$ plays an important role in persistent homology. In this paper, we shall generalize Isometry Theorem to continuous quiver of type $\tilde{A}$.
We bring a linkage from representation theory of Lie groups to homotopy theory for maps between flag manifolds. As applications we derive from representation theory abundant families of homotopy classes of maps between flag manifolds whose…
We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur…
Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold `up to homotopy' in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis…
Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…
This survey contains the main results in rational homotopy, from the beginning to the most recent ones. It makes the status of the art, gives a short presentation of some areas where rational homotopy has been used, and contains a lot of…
In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the…
This article is a brief survey of the theory of topological modular forms (TMF) and the theory of topological automorphic forms (TAF). It will be a chapter in forthcoming "Handbook of Homotopy Theory" edited by Haynes Miller.
We bring an abstract model theory perspective to interpolation. We ask, what is the role of interpolation in the study of extensions of first order logic, such as infinitary logics, generalized quantifiers and higher order logics? The…
The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…
By the example of the proof of Minkowski's conjecture on critical determinant we give a category theory framework for interval computation.
This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first order theory of finite groups. The focus is on concepts from stability theory…
We show that both Lusternik-Schnirelmann category and topological complexity are particular cases of a more general notion, that we call homotopic distance between two maps. As a consequence, several properties of those invariants can be…
Homotopy links have proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in…
We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study…
In the last year of his life, Bob Thomason reworked the notion of a model category, used to adapt homotopy theory to algebra, and used homotopy ends to affirmatively solve a problem raised by Grothendieck: find a notion of model structure…