BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Philippe Gaucher

Philippe Gaucher contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.CTLogic in Computer Science

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
0close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2025arXiv

Natural homotopy of multipointed d-spaces

We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed $d$-spaces. When the multipointed $d$-space realizes a precubical set, its reflection coincides with the standard realization of the precubical set as a directed space. The reflection enables us to extend the construction of the natural system of topological spaces in Baues-Wirsching's sense from directed spaces to multipointed $d$-spaces. In the case of a cellular multipointed $d$-space, there is a discrete version of this natural system which is proved to be bisimilar up to homotopy. We also prove that these constructions are invariant up to homotopy under globular subdivision. These results are the globular analogue of Dubut's results. Finally, we point the apparent incompatibility between the notion of bisimilar natural systems and the q-model structure of multipointed $d$-spaces and we give some suggestions for future works.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Towards a theory of natural directed paths

We introduce the abstract setting of presheaf category on a thick category of cubes. Precubical sets, symmetric transverse sets, symmetric precubical sets and the new category of (non-symmetric) transverse sets are examples of this structure. All these presheaf categories share the same metric and homotopical properties from a directed homotopy point of view. This enables us to extend Raussen's notion of natural $d$-path for each of them. Finally, we adapt Ziemiański's notion of cube chain to this abstract setting and we prove that it has the expected behavior on precubical sets. As an application, we verify that the formalization of the parallel composition with synchronization of process algebra using the coskeleton functor of the category of symmetric transverse sets has a category of cube chains with the correct homotopy type.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Regular directed path and Moore flow

Using the notion of tame regular $d$-path of the topological $n$-cube, we introduce the tame regular realization of a precubical set as a multipointed $d$-space. Its execution paths correspond to the nonconstant tame regular $d$-paths in the geometric realization of the precubical set. The associated Moore flow gives rise to a functor from precubical sets to Moore flows which is weakly equivalent in the h-model structure to a colimit-preserving functor. The two functors coincide when the precubical set is spatial, and in particular proper. As a consequence, it is given a model category interpretation of the known fact that the space of tame regular $d$-paths of a precubical set is homotopy equivalent to a CW-complex. We conclude by introducing the regular realization of a precubical set as a multipointed $d$-space and with some observations about the homotopical properties of tameness.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

T-homotopy and refinement of observation (V) : Strom model structure for branching and merging homologies

We check that there exists a model structure on the category of flows whose weak equivalences are the S-homotopy equivalences. As an application, we prove that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. The method of proof is completely different from the one of the third part of this series of papers.

0 citations0 reviewsNo code linkedOpen access