Philippe Gaucher

Identifiants chercheurs

IdHAL :

pg0042

ORCID :

0000-0003-0287-6252

arXiv :

gaucher_p_1

Publications

Article dans une revue (30)

Natural homotopy of multipointed d-spaces Philippe Gaucher Mathematical Journal of Okayama University, 2026, 68, pp.13-62 Article dans une revue hal-04563674v5
Towards a theory of natural directed paths Philippe Gaucher Compositionality, 2026, 7 (6), ⟨10.46298/compositionality-7-6⟩ Article dans une revue hal-04118042v4
Globular subdivisions are dihomotopy equivalences Philippe Gaucher Bulletin of the Belgian Mathematical Society - Simon Stevin, 2025, 32 (5), pp.607-656. ⟨10.36045/j.bbms.250522⟩ Article dans une revue hal-04953316v3
Regular directed path and Moore flow Philippe Gaucher Rendiconti di Matematica e delle sue Applicazioni, 2024, 45 (1-2), pp.111-151 Article dans une revue hal-03741876v5
Homotopy theory of Moore flows (III) Philippe Gaucher North-Western European Journal of Mathematics, 2024, 10, pp.55-113 Article dans une revue hal-04050004v5
Directed degeneracy maps for precubical sets Philippe Gaucher Theory and Applications of Categories, 2024, 41 (7), pp.194-237 Article dans une revue hal-03771404v3
Comparing cubical and globular directed paths Philippe Gaucher Fundamenta Mathematicae, 2023, ⟨10.4064/fm219-3-2023⟩ Article dans une revue hal-03713809v4
Comparing the non-unital and unital settings for directed homotopy Philippe Gaucher Cahiers de topologie et géométrie différentielle catégoriques, 2023, LXIV-2 Article dans une revue hal-03713806v2
Left properness of flows Philippe Gaucher Theory and Applications of Categories, 2021, 37 (19), pp.562-612 Article dans une revue hal-02324169v1
Homotopy theory of Moore flows (I) Philippe Gaucher Compositionality, 2021, 3 (3), ⟨10.32408/compositionality-3-3⟩ Article dans une revue hal-02989109v2
Six model categories for directed homotopy Philippe Gaucher Categories and General Algebraic Structures with Applications, 2021, 15 (1), pp.145-181. ⟨10.52547/cgasa.15.1.145⟩ Article dans une revue hal-02106424v1
Homotopy theory of Moore flows (II) Philippe Gaucher Extracta Mathematicae, 2021, 36 (2), pp.157-239. ⟨10.17398/2605-5686.36.2.157⟩ Article dans une revue hal-03215805v3
Flows revisited: the model category structure and its left determinedness Philippe Gaucher Cahiers de topologie et géométrie différentielle catégoriques, 2020, LXI (2), pp.208-226 Article dans une revue hal-01919037v1
Enriched diagrams of topological spaces over locally contractible enriched categories Philippe Gaucher New York Journal of Mathematics, 2019, 25, pp.1485-1510 Article dans une revue hal-01919036v1
Combinatorics of past-similarity in higher dimensional transition systems Philippe Gaucher Theory and Applications of Categories, 2017 Article dans une revue hal-01619405v1
The geometry of cubical and regular transition systems Philippe Gaucher Cahiers de topologie et géométrie différentielle catégoriques, 2015, LVI (4) Article dans une revue hal-01225836v1
The choice of cofibrations of higher dimensional transition systems Philippe Gaucher New York Journal of Mathematics, 2015, 21, pp.1117-1151 Article dans une revue hal-01225832v1
Left determined model categories Philippe Gaucher New York Journal of Mathematics, 2015, 21, pp.1093-1115 Article dans une revue hal-01225829v1
Homotopy Theory of Labelled Symmetric Precubical Sets Philippe Gaucher New York Journal of Mathematics, 2014, 20, pp.93-131 Article dans une revue hal-01076930v1
Erratum to &quot;Towards a homotopy theory of higher dimensional transition systems Philippe Gaucher Theory and Applications of Categories, 2014, 29, pp.17-20 Article dans une revue hal-01076932v1
Globular realization and cubical underlying homotopy type of time flow of process algebra Philippe Gaucher New York Journal of Mathematics, 2008, 14, pp.101-137 Article dans une revue hal-00338468v1
Towards a homotopy theory of process algebra Philippe Gaucher Homology, Homotopy and Applications, 2008, 10 (1), pp.353-388 Article dans une revue hal-00338471v1
T-Homotopy and Refinement of Observation, Part II: Adding New T-Homotopy Equivalences Philippe Gaucher International Journal of Mathematics and Mathematical Sciences, 2007, 2007, Article ID 87404, 20 p. ⟨10.1155/2007/87404⟩ Article dans une revue hal-00150917v1
Inverting weak dihomotopy equivalence using homotopy continuous flow Philippe Gaucher Theory and Applications of Categories, 2006, 16 (3), pp.59-83 Article dans une revue hal-00150920v1
T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies Philippe Gaucher The New York Journal of Mathematics, 2006, 12, pp.319--348 Article dans une revue hal-00150918v1
T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type Philippe Gaucher The New York Journal of Mathematics, 2006, 12, pp.63--95 Article dans une revue hal-00150919v1
Homological properties of non-deterministic branchings and mergings in higher dimensional automata Philippe Gaucher Homology, Homotopy and Applications(HHA), 2005, 7 (1), pp.51-76 Article dans une revue hal-00150922v1
Flow does not model flows up to weak dihomotopy Philippe Gaucher Applied Categorical Structures, 2005, 13 (5-6), pp.371-388 Article dans une revue hal-00150921v1
Comparing globular complex and flow Philippe Gaucher The New York Journal of Mathematics, 2005, 11, pp.97-150 Article dans une revue hal-00150923v1
A model category for the homotopy theory of concurrency Philippe Gaucher Homology, Homotopy and Applications(HHA), 2003, 5 (1), pp.549-599 Article dans une revue hal-00150924v1

Pré-publication, Document de travail (2)

Branching space of multipointed d-space Philippe Gaucher 2026 Pré-publication, Document de travail hal-05161577v4
Branching space of precubical set Philippe Gaucher 2026 Pré-publication, Document de travail hal-05217067v4

Communication dans un congrès (9)

Towards a Homotopy Theory of Higher Dimensional Transition Systems Philippe Gaucher Séminaire Itinérant de Catégories, Mar 2011, Paris, France Communication dans un congrès hal-00695068v1
About Higher Dimensional Transition Systems Philippe Gaucher Geometric and Topological Methods in Computer Science 2010, Jan 2010, Aalborg, Denmark Communication dans un congrès hal-00695056v1
Higher Dimensional Transition System and Labelled Symmetric Precubical Set Philippe Gaucher Séminaire Itinérant de Catégories, Oct 2009, Paris, France Communication dans un congrès hal-00695146v1
Cubes, homotopy and process algebra Philippe Gaucher Algebraic Topological Methods in Computer Science 2008, Jul 2008, Paris, France Communication dans un congrès hal-00695053v1
Combinatorics of labelling in higher dimensional automata Philippe Gaucher Rencontre du projet ANR "Invariants algébriques des systèmes informatiques, Sep 2008, Lyon, France Communication dans un congrès hal-00695163v1
A topological model for studying branching and merging homologies of flows Philippe Gaucher CONFÉRENCE INTERNATIONALE DE THÉORIE DES CATÉGORIES 2008, Jun 2008, Calais, France Communication dans un congrès hal-00695198v1
Globular realization and cubical underlying homotopy type Philippe Gaucher Rencontre du projet ANR "Invariants algébriques des systèmes informatiques", Sep 2007, Nancy, France Communication dans un congrès hal-00695230v1
Sémantique purement homotopique des algèbres de processus Philippe Gaucher Rencontre du projet ANR "Invariants algébriques des systèmes informatiques", Apr 2007, Paris, France Communication dans un congrès hal-00695233v1
Homotopical semantics of parallel composition in CCS Philippe Gaucher PSSL86, Sep 2007, Nancy, France Communication dans un congrès hal-00695226v1