Cover Image

Towards a theory of natural directed paths

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Gaucher, Philippe
Format:	Preprint
Published:	2023
Subjects:	Category Theory Logic in Computer Science Algebraic Topology 55U35, 68Q85
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Natural homotopy of multipointed d-spaces
by: Gaucher, Philippe
Published: (2024)

Globular subdivisions are dihomotopy equivalences
by: Gaucher, Philippe
Published: (2025)

Homotopy theory of Moore flows (III)
by: Gaucher, Philippe
Published: (2023)

On the topology of concurrent systems
by: Faustino, Catarina, et al.
Published: (2024)

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

Regular directed path and Moore flow
by: Gaucher, Philippe
Published: (2022)

Homotopy groups of cubical sets
by: Carranza, Daniel, et al.
Published: (2022)

Models for cyclic infinity operads
by: Doherty, Brandon, et al.
Published: (2025)

The topology of critical processes, III (Computing homotopy)
by: Grandis, Marco
Published: (2024)

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

The topology of critical processes, I (Processes and Models)
by: Grandis, Marco
Published: (2023)

Classification diagrams of simplicial categories
by: Arakawa, Kensuke
Published: (2024)

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

Directed path and Moore flow
by: Gaucher, Philippe
Published: (2026)

A short proof that Rezk's nerve is fully faithful
by: Hebestreit, Fabian, et al.
Published: (2023)

Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories
by: Doherty, Brandon, et al.
Published: (2021)

Pushouts of Dwyer maps are $(\infty,1)$-categorical
by: Hackney, Philip, et al.
Published: (2022)

The frame of smashing tensor-ideals
by: Balmer, Paul, et al.
Published: (2017)

Dwyer-Kan homotopy theory of enriched categories
by: Muro, Fernando
Published: (2012)

On finite generation in magnitude (co)homology, and its torsion
by: Caputi, Luigi, et al.
Published: (2023)

The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology
by: Caputi, Luigi, et al.
Published: (2024)

Towards 2-derivators for formal $\infty$-category theory
by: Di Vittorio, Nicola
Published: (2023)

A cubical model for $(\infty, n)$-categories
by: Campion, Tim, et al.
Published: (2020)

First-order homotopical logic
by: Helfer, Joseph
Published: (2019)

Homotopy theory of Moore flows (I)
by: Gaucher, Philippe
Published: (2020)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)

Generation time for biexact functors and Koszul objects in triangulated categories
by: Letz, Janina C., et al.
Published: (2024)

Cartesian exponentiation and monadicity
by: Riehl, Emily, et al.
Published: (2021)

On the universality of multiexcisive functors
by: Barthel, Tobias, et al.
Published: (2026)

A simple characterization of Quillen adjunctions
by: Carmona, Victor
Published: (2024)

Cores and localizations of $(\infty,\infty)$-categories
by: Ozornova, Viktoriya, et al.
Published: (2026)

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

Homotopy Limits and Homotopy Colimits of Chain Complexes
by: Arakawa, Kensuke
Published: (2023)

Pushforwards in Inverse Homotopical Diagrams
by: Kapulkin, Chris, et al.
Published: (2025)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
by: Wärn, David
Published: (2023)

Interacting Monoidal Structures with Applications in Computing
by: Cranch, James, et al.
Published: (2024)

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
by: Buchholtz, Ulrik, et al.
Published: (2024)

Branching space of multipointed d-space
by: Gaucher, Philippe
Published: (2025)