homotopy-type
On the homotopy groups of spheres in homotopy type theory
... in homotopy type theory because defining the set of singular cochains requires taking the underlying set of a topological space which is not an operation invariant un- der homotopy equivalence, hence ...
188
Lawvere-Tierney sheafification in Homotopy Type Theory
... Then the latter is a boolean topos (i.e. satisfying the LEM). The main idea of our work is to notice that Lawvere-Tierney topologies on a topos, which are operator on the subobject classifier, can be seen, in the setting ...
107
Preface: Special Issue on Homotopy Type Theory and Univalent Foundations
... on Homotopy Type Theory and Univalent ...in homotopy theory, has initiated what is now called the univalent foundations program ...from homotopy theory, the goal of the univalent foundations ...
3
Formalising Real Numbers in Homotopy Type Theory
... reals have Cauchy real limits requires the axiom of countable choice. Alternatively, the quotient step can be replaced by working with Cauchy sequences as a setoid: this approach is used e.g. in OConnor07 (2007) which ...
14
Cubical categories for homotopy and rewriting
... new type of degeneracies on cubical sets: the so-called connections that we evoked earlier [ 17 ] [ 14 ...], type theory [ 9 ], algebraic topology [ 34 ...
186
Schematic homotopy types and non-abelian Hodge theory.
... schematic homotopy type, and define the associated spectral sequence in ...of homotopy types which are not realizable by smooth projective complex ...
63
Homotopy theories of unital algebras and operads
... In Algebra, the structure relations hold strictly. This is for instance the case for sets, groups, rings, vector spaces, etc. So all of these examples are well encoded by categories. In this context, two objects are ...
137
Homotopy Reconstruction via the Cech Complex and the Vietoris-Rips Complex
... The conditions require the offset r to be lower bounded by a constant times the Hausdorff distance between the target space and the data points, and upper bounded by another constant times a measure of the size of the ...
61
FROM HOMOTOPY OPERADS TO INFINITY-OPERADS
... Introduction In Algebra, the structure relations hold strictly. This is for instance the case for sets, groups, rings, vector spaces, etc. So all of these examples are well encoded by categories. In this context, two ...
37
Cubical Synthetic Homotopy Theory
... Abstract Homotopy type theory is an extension of type theory that enables synthetic reasoning about spaces and homotopy the- ...Cubical type the- ory offers a solution to this in the ...
15
Homotopy techniques for solving sparse column support determinantal polynomial systems
... The tools used to create our sparse column support homotopy also allow us to build a column homotopy algorithm for determinantal systems for weighted degree polynomials. These are important when all our ...
27
À propos de l'opposition “type synthétique” vs “type analytique” en arabe
... le type analytique est attribué tantôt aux dialectes arabes dans leur ensemble, tantôt au moyen-arabe et aux seuls parlers de ...le type synthétique est tantôt celui de l'arabe classique seul, tantôt celui ...
11
A relation between homotopy and pivotal methods for linear complementarity problems
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
32
The homotopy theory of dg -categories and derived Morita theory.
... We recall the existence of a model category of S-categories, as shown in [Be], and which is similar to the one we use on dg-categories. This model category will be denoted by S − Cat (or S − Cat V if one needs to specify ...
51
An index for Brouwer homeomorphisms and homotopy Brouwer theory
... 1 , Z 2 ): in other words, every mapping class that commutes with [T ] is the mapping class of a homeomorphism that com- mutes with T . In the end of this subsection we deduce Theorem 1 from Lemma 1.1 and Propo- sition ...
39
Diabète de type 2 cétonurique et virus de l’herpès humain de type 8
... de type 2 cétonurique Il a été décrit il y a une vingtaine d’an- nées, une forme atypique de diabète chez des individus originaires d’Afri- que ...de type 1 mais qui n’est pas associé aux marqueurs ...
2
Homotopy invariance of higher signatures and 3-manifold groups
... commutes up to homotopy, as indicated. If, for a given group G, this holds for every rational cohomology class α ∈ H ∗ (BG; Q), then one says that G verifies the Novikov Conjecture. Of particular interest are the ...
18
Vers un nouveau type de vaccin contre le diabète de type 1 ?
... de type 2 ou IGF-2, l’IGF-1 et l’insuline elle-même) sont expri- més dans le ...de type 1 et est nécessaire pour une tolérance immunitaire complète vis- à-vis de ...
2
Parcours de type passif et de type antipassif en basque souletin
... de type passif et de type antipassif pour traduire un même événement amène à ne considérer cette forme de basque comme ne relevant ni d'une "syntaxe accusative", ni d'une "syntaxe ergative", ...
20
GEP type
... Ce temps peut être facilité par le repérage par les enseignants-animateurs, des situations de soins les plus pertinentes qui auront été envoyées préalablement par mail (cf. travaux prép[r] ...
3