Related papers: Comparing cubical and globular directed paths

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

We consider a phase-separating mixture of active and passive fluids and explore morphological asymmetries of the emerging dominantly bicontinous dynamic emulsion. Two-dimensional numerical simulations reveal that the geometric and…

This paper constructs an h-model structure for diagrams of streams, locally preordered spaces. Along the way, the paper extends some classical characterizations of Hurewicz fibrations and closed Hurewicz cofibrations. The usual…

In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant,…

We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…

A bounded curvature path is a continuously differentiable piecewise $C^2$ path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature…

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…

We investigate two constructive approaches to defining quasi-compact and quasi-separated schemes (qcqs-schemes), namely qcqs-schemes as locally ringed lattices and as functors from rings to sets. We work in Homotopy Type Theory and…

In this paper, we consider 2-dimensional precubical sets, which can be used to model systems of two concurrently executing processes. From the point of view of concurrency theory, two precubical sets can be considered equivalent if their…

We introduce a natural symplectic structure on the moduli space of quadratic differentials with simple zeros and describe its Darboux coordinate systems in terms of so-called homological coordinates. We then show that this structure…

Hyperbolic curvature flow is a geometric evolution equation that in the plane can be viewed as the natural hyperbolic analogue of curve shortening flow. It was proposed by Gurtin and Podio-Guidugli (1991) to model certain wave phenomena in…

We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as…

The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms $a,b$ of a type $A$, one may form the type $Id_{A}(a,b)$, whose elements are…

We define a spectral flow for paths of selfadjoint Fredholm operators that are equivariant under the orthogonal action of a compact Lie group as an element of the representation ring of the latter. This $G$-equivariant spectral flow shares…

Constructal Law states that a finite-size flow system that persists in time evolves its configuration so as to provide progressively easier access to the currents that flow through it. Classical Constructal theory derives hierarchical flow…

Any traversally generic vector flow on a compact manifold $X$ with boundary leaves some residual structure on its boundary $\d X$. A part of this structure is the flow-generated causality map $C_v$, which takes a region of $\d X$ to the…

Microfluidic multipoles (MFMs) have been realized experimentally and hold promise for "open-space" biological and chemical surface processing. Whereas convective flow can readily be predicted using hydraulic-electrical analogies, the design…

There is an extensive and growing body of work analyzing convex ancient solutions to Mean Curvature Flow (MCF), or equivalently of Rescaled Mean Curvature Flow (RMCF). The goal of this paper is to complement the existing literature, which…

We consider an ``integral'' extension of the classical notion of affine connection providing a correspondence between paths in the manifold and diffeomorphisms of the manifold. These path-diffeomorphisms are a generalization of parallel…

It is shown that a hypersurface of a space form is the initial data for a solution to the mean curvature flow by parallel hypersurfaces if, and only if, it is isoparametric. By solving an ordinary differential equation, explicit solutions…