Accéder directement au contenu

Philippe Gaucher

37
Documents

Publications

Image document

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
Image document

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
Image document

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
Image document

Comparing cubical and globular directed paths

Philippe Gaucher
Fundamenta Mathematicae, 2023, ⟨10.4064/fm219-3-2023⟩
Article dans une revue hal-03713809v4
Image document

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
Image document

Left properness of flows

Philippe Gaucher
Theory and Applications of Categories, 2021, 37 (19), pp.562-612
Article dans une revue hal-02324169v1
Image document

Homotopy theory of Moore flows (I)

Philippe Gaucher
Compositionality, 2021, 3 (3), ⟨10.32408/compositionality-3-3⟩
Article dans une revue hal-02989109v2
Image document

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
Image document

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
Image document

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

Left determined model categories

Philippe Gaucher
New York Journal of Mathematics, 2015, 21, pp.1093-1115
Article dans une revue hal-01225829v1

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

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

Erratum to "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

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

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

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

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

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

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

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

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

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

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

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

Homotopical semantics of parallel composition in CCS

Philippe Gaucher
PSSL86, Sep 2007, Nancy, France
Communication dans un congrès hal-00695226v1

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