
Philippe Gaucher
39
Documents
Affiliation actuelle
- Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243))
Identifiants chercheurs
Site web
Domaines de recherche
Topologie algébrique [math.AT]
Catégories et ensembles [math.CT]
Publications
Publications
|
Globular subdivisions are dihomotopy equivalences2025
Pré-publication, Document de travail
hal-04953316
v2
|
|
Towards a theory of natural directed paths2024
Pré-publication, Document de travail
hal-04118042
v3
|
|
Directed degeneracy maps for precubical setsTheory and Applications of Categories, 2024, 41 (7), pp.194-237
Article dans une revue
hal-03771404
v3
|
|
Regular directed path and Moore flowRendiconti di Matematica e delle sue Applicazioni, 2024, 45 (1-2), pp.111-151
Article dans une revue
hal-03741876
v5
|
|
Homotopy theory of Moore flows (III)North-Western European Journal of Mathematics, 2024, 10, pp.55-113
Article dans une revue
hal-04050004
v5
|
|
Natural homotopy of multipointed d-spacesMathematical Journal of Okayama University, In press
Article dans une revue
hal-04563674
v5
|
|
Comparing the non-unital and unital settings for directed homotopyCahiers de topologie et géométrie différentielle catégoriques, 2023, LXIV-2
Article dans une revue
hal-03713806
v2
|
|
Comparing cubical and globular directed pathsFundamenta Mathematicae, 2023, ⟨10.4064/fm219-3-2023⟩
Article dans une revue
hal-03713809
v4
|
|
Homotopy theory of Moore flows (I)Compositionality, 2021, 3 (3), ⟨10.32408/compositionality-3-3⟩
Article dans une revue
hal-02989109
v2
|
|
Six model categories for directed homotopyCategories and General Algebraic Structures with Applications, 2021, 15 (1), pp.145-181. ⟨10.52547/cgasa.15.1.145⟩
Article dans une revue
hal-02106424
v1
|
|
Homotopy theory of Moore flows (II)Extracta Mathematicae, 2021, 36 (2), pp.157-239. ⟨10.17398/2605-5686.36.2.157⟩
Article dans une revue
hal-03215805
v3
|
|
Left properness of flowsTheory and Applications of Categories, 2021, 37 (19), pp.562-612
Article dans une revue
hal-02324169
v1
|
|
Flows revisited: the model category structure and its left determinednessCahiers de topologie et géométrie différentielle catégoriques, 2020, LXI (2), pp.208-226
Article dans une revue
hal-01919037
v1
|
|
Enriched diagrams of topological spaces over locally contractible enriched categoriesNew York Journal of Mathematics, 2019, 25, pp.1485-1510
Article dans une revue
hal-01919036
v1
|
Combinatorics of past-similarity in higher dimensional transition systemsTheory and Applications of Categories, 2017
Article dans une revue
hal-01619405
v1
|
|
|
The geometry of cubical and regular transition systemsCahiers de topologie et géométrie différentielle catégoriques, 2015, LVI (4)
Article dans une revue
hal-01225836
v1
|
The choice of cofibrations of higher dimensional transition systemsNew York Journal of Mathematics, 2015, 21, pp.1117-1151
Article dans une revue
hal-01225832
v1
|
|
Left determined model categoriesNew York Journal of Mathematics, 2015, 21, pp.1093-1115
Article dans une revue
hal-01225829
v1
|
|
|
Homotopy Theory of Labelled Symmetric Precubical SetsNew York Journal of Mathematics, 2014, 20, pp.93-131
Article dans une revue
hal-01076930
v1
|
Erratum to "Towards a homotopy theory of higher dimensional transition systemsTheory and Applications of Categories, 2014, 29, pp.17-20
Article dans une revue
hal-01076932
v1
|
|
Globular realization and cubical underlying homotopy type of time flow of process algebraNew York Journal of Mathematics, 2008, 14, pp.101-137
Article dans une revue
hal-00338468
v1
|
|
Towards a homotopy theory of process algebraHomology, Homotopy and Applications, 2008, 10 (1), pp.353-388
Article dans une revue
hal-00338471
v1
|
|
|
T-Homotopy and Refinement of Observation, Part II: Adding New T-Homotopy EquivalencesInternational Journal of Mathematics and Mathematical Sciences, 2007, 2007, Article ID 87404, 20 p. ⟨10.1155/2007/87404⟩
Article dans une revue
hal-00150917
v1
|
Inverting weak dihomotopy equivalence using homotopy continuous flowTheory and Applications of Categories, 2006, 16 (3), pp.59-83
Article dans une revue
hal-00150920
v1
|
|
T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologiesThe New York Journal of Mathematics, 2006, 12, pp.319--348
Article dans une revue
hal-00150918
v1
|
|
T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy typeThe New York Journal of Mathematics, 2006, 12, pp.63--95
Article dans une revue
hal-00150919
v1
|
|
Flow does not model flows up to weak dihomotopyApplied Categorical Structures, 2005, 13 (5-6), pp.371-388
Article dans une revue
hal-00150921
v1
|
|
Homological properties of non-deterministic branchings and mergings in higher dimensional automataHomology, Homotopy and Applications(HHA), 2005, 7 (1), pp.51-76
Article dans une revue
hal-00150922
v1
|
|
Comparing globular complex and flowThe New York Journal of Mathematics, 2005, 11, pp.97-150
Article dans une revue
hal-00150923
v1
|
|
A model category for the homotopy theory of concurrencyHomology, Homotopy and Applications(HHA), 2003, 5 (1), pp.549-599
Article dans une revue
hal-00150924
v1
|
Towards a Homotopy Theory of Higher Dimensional Transition SystemsSéminaire Itinérant de Catégories, Mar 2011, Paris, France
Communication dans un congrès
hal-00695068
v1
|
|
About Higher Dimensional Transition SystemsGeometric and Topological Methods in Computer Science 2010, Jan 2010, Aalborg, Denmark
Communication dans un congrès
hal-00695056
v1
|
|
Higher Dimensional Transition System and Labelled Symmetric Precubical SetSéminaire Itinérant de Catégories, Oct 2009, Paris, France
Communication dans un congrès
hal-00695146
v1
|
|
Combinatorics of labelling in higher dimensional automataRencontre du projet ANR "Invariants algébriques des systèmes informatiques, Sep 2008, Lyon, France
Communication dans un congrès
hal-00695163
v1
|
|
A topological model for studying branching and merging homologies of flowsCONFÉRENCE INTERNATIONALE DE THÉORIE DES CATÉGORIES 2008, Jun 2008, Calais, France
Communication dans un congrès
hal-00695198
v1
|
|
Cubes, homotopy and process algebraAlgebraic Topological Methods in Computer Science 2008, Jul 2008, Paris, France
Communication dans un congrès
hal-00695053
v1
|
|
Sémantique purement homotopique des algèbres de processusRencontre du projet ANR "Invariants algébriques des systèmes informatiques", Apr 2007, Paris, France
Communication dans un congrès
hal-00695233
v1
|
|
Homotopical semantics of parallel composition in CCSPSSL86, Sep 2007, Nancy, France
Communication dans un congrès
hal-00695226
v1
|
|
Globular realization and cubical underlying homotopy typeRencontre du projet ANR "Invariants algébriques des systèmes informatiques", Sep 2007, Nancy, France
Communication dans un congrès
hal-00695230
v1
|
Chargement...
Chargement...