Philippe Gaucher

41
Documents
Affiliation actuelle
  • Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243))
Identifiants chercheurs

Domaines de recherche

Topologie algébrique [math.AT] Catégories et ensembles [math.CT]

Publications

Publications

Deposit thumbnail

Natural homotopy of multipointed d-spaces

Philippe Gaucher

Mathematical Journal of Okayama University, 2026, 68, pp.13-62

Article dans une revue hal-04563674v5
Deposit thumbnail

Towards a theory of natural directed paths

Philippe Gaucher

Compositionality, 2026, 7 (6), ⟨10.46298/compositionality-7-6⟩

Article dans une revue hal-04118042v4
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Comparing cubical and globular directed paths

Philippe Gaucher

Fundamenta Mathematicae, 2023, ⟨10.4064/fm219-3-2023⟩

Article dans une revue hal-03713809v4
Deposit thumbnail

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
Deposit thumbnail

Homotopy theory of Moore flows (I)

Philippe Gaucher

Compositionality, 2021, 3 (3), ⟨10.32408/compositionality-3-3⟩

Article dans une revue hal-02989109v2
Deposit thumbnail

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
Deposit thumbnail

Left properness of flows

Philippe Gaucher

Theory and Applications of Categories, 2021, 37 (19), pp.562-612

Article dans une revue hal-02324169v1
Deposit thumbnail

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
Deposit thumbnail

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

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 (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

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

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

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

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

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

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