Comparing globular complex and flow.
Gaucher, Philippe (2005)
The New York Journal of Mathematics [electronic only]
Similarity:
Displaying similar documents to “-homotopy and refinement of observation. II: Adding new -homotopy equivalences.”
Comparing globular complex and flow.
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type.
Gaucher, Philippe (2006)
The New York Journal of Mathematics [electronic only]
Similarity:
T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies.
Gaucher, Philippe (2006)
The New York Journal of Mathematics [electronic only]
Similarity:
Globular realization and cubical underlying homotopy type of time flow of process algebra.
Gaucher, Philippe (2008)
The New York Journal of Mathematics [electronic only]
Similarity:
Inverting weak dihomotopy equivalence using homotopy continuous flow.
Gaucher, Philippe (2006)
Theory and Applications of Categories [electronic only]
Similarity:
A model category for the homotopy theory of concurrency.
Gaucher, Philippe (2003)
Homology, Homotopy and Applications
Similarity:
Homological properties of non-deterministic branchings of mergings in higher dimensional automata.
Gaucher, Philippe (2005)
Homology, Homotopy and Applications
Similarity:
Directed homotopy theory, II. Homotopy constructs.
Grandis, Marco (2002)
Theory and Applications of Categories [electronic only]
Similarity:
A suspension theorem for the proper homotopy and strong shape theories
C. Elvira-Donazar, L. J. Hernandez-Paricio (1995)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Coherent prohomotopy theory
Timothy Porter (1978)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Adjunction of n-equivalences and triad connectivity.
Peter J. Witbooi (1995)
Publicacions Matemàtiques
Similarity:
We prove a new adjunction theorem for n-equivalences. This theorem enables us to produce a simple geometric version of proof of the triad connectivity theorem of Blakers and Massey. An important intermediate step is a study of the collapsing map S∨X → S, S being a sphere.