Results 191 to 200 of about 7,722 (226)
Some of the next articles are maybe not open access.
The Journal of Symbolic Logic, 2020
AbstractDrawing on the analogy between any unary first-order quantifier and a “face operator,” this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type ...
openaire +2 more sources
AbstractDrawing on the analogy between any unary first-order quantifier and a “face operator,” this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type ...
openaire +2 more sources
Introduction to Homotopy Theory
2004This article is reviewed together with the following one (see Zbl 0674.55002).
Viro, O. Ya., Fuks, D. B.
openaire +2 more sources
1999
Simplicial sets.- Model Categories.- Classical results and constructions.- Bisimplicial sets.- Simplicial groups.- The homotopy theory of towers.- Reedy model categories.- Cosimplicial spaces: applications.- Simplicial functors and homotopy coherence.- Localization.
Paul G. Goerss, John F. Jardine
openaire +1 more source
Simplicial sets.- Model Categories.- Classical results and constructions.- Bisimplicial sets.- Simplicial groups.- The homotopy theory of towers.- Reedy model categories.- Cosimplicial spaces: applications.- Simplicial functors and homotopy coherence.- Localization.
Paul G. Goerss, John F. Jardine
openaire +1 more source
The Homotopy Theory of Coincidences
The Annals of Mathematics, 1954Let f and g be two maps from a complex K to a manifold M. A coincidence of f and g is a point of K where f and g assume the same value. The question to be considered is this: When can f and g be deformed into maps f' and g' which have no coincidence?
openaire +2 more sources
The Annals of Mathematics, 1969
Sie \(K\) die Kategorie der einfach zusammenhängenden Räume und \(M\subset K\) die Klasse der Abbildungen, die ``Isomorphismen modulo Torsion'' für alle \(\pi_n\) induzieren, so bezeichnet der Verf. als ``rationale Homotopietheorie'' die Untersuchung der Verhältnisse in der Quotientenkategorie \(K / M\). Er beweist, daß \(K / M\) als Kategorie isomorph
openaire +2 more sources
Sie \(K\) die Kategorie der einfach zusammenhängenden Räume und \(M\subset K\) die Klasse der Abbildungen, die ``Isomorphismen modulo Torsion'' für alle \(\pi_n\) induzieren, so bezeichnet der Verf. als ``rationale Homotopietheorie'' die Untersuchung der Verhältnisse in der Quotientenkategorie \(K / M\). Er beweist, daß \(K / M\) als Kategorie isomorph
openaire +2 more sources
A representation of homotopy theory by homotopy spheres
1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DRAGOTTI, SARA, MAGRO, GAETANO
openaire +2 more sources
2015
Homotopy Type Theory is a new, homotopical interpretation of constructive type theory. It forms the basis of the recently proposed Univalent Foundations of Mathematics program. Combined with a computational proof assistant, and including a new foundational axiom – the Univalence Axiom – this program has the potential to shift the theoretical ...
openaire +1 more source
Homotopy Type Theory is a new, homotopical interpretation of constructive type theory. It forms the basis of the recently proposed Univalent Foundations of Mathematics program. Combined with a computational proof assistant, and including a new foundational axiom – the Univalence Axiom – this program has the potential to shift the theoretical ...
openaire +1 more source
THE HOMOTOPY THEORY OF INVERSE SEMIGROUPS
International Journal of Algebra and Computation, 2002We show that abstract homotopy theory can be used to define a suitable notion of homotopy equivalence for inverse semigroups. As an application of our theory, we prove a theorem for inverse semigroup homomorphisms which is the exact counterpart of the well-known result in topology which states that every continuous function can be factorized into a ...
Mark V. Lawson +2 more
openaire +2 more sources
Canadian Journal of Mathematics, 1981
Kan and Miller have shown in [9] that the homotopy type of a finite simplicial set K can be recovered from its R-algebra of 0-forms A0K, when R is a unique factorization domain. More precisely, if is the category of simplicial sets and is the category of R-algebras there is a contravariant functorwiththe simplicial set homomorphisms from X to the ...
openaire +2 more sources
Kan and Miller have shown in [9] that the homotopy type of a finite simplicial set K can be recovered from its R-algebra of 0-forms A0K, when R is a unique factorization domain. More precisely, if is the category of simplicial sets and is the category of R-algebras there is a contravariant functorwiththe simplicial set homomorphisms from X to the ...
openaire +2 more sources
Mathematics of the USSR-Izvestiya, 1986
This paper studies the general theory of (graded, differential) algebras and coalgebras with a view towards specific applications in topology. Starting from the work of \textit{J. P. May} on iterated loop spaces [e.g., Algebraic topology, Proc. Symp. Pure Math. 22, 171-185 (1971; Zbl 0242.55020), and many subsequent works], the author brings the theory
openaire +3 more sources
This paper studies the general theory of (graded, differential) algebras and coalgebras with a view towards specific applications in topology. Starting from the work of \textit{J. P. May} on iterated loop spaces [e.g., Algebraic topology, Proc. Symp. Pure Math. 22, 171-185 (1971; Zbl 0242.55020), and many subsequent works], the author brings the theory
openaire +3 more sources