Related papers: Yoneda Lemma for Simplicial Spaces

We present a direct confirmation of the validity of the equivalence principle for unstructured test bodies in scalar tensor gravity. Our analysis is complementary to previous approaches and valid for a large class of scalar-tensor theories…

We study cocartesian fibrations in the setting of the synthetic $(\infty,1)$-category theory developed in the simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can…

We consider the general model for dynamical systems defined on a simplicial complex. We describe the conjugacy classes of these systems and show how symmetries in a given simplicial complex manifest in the dynamics defined thereon,…

We present a version of enriched Yoneda lemma for conventional (not infinity-) categories. We require the base monoidal category to have colimits, but do not require it to be closed or symmetric monoidal.

We investigate the causal relations in the space of states of almost commutative Lorentzian geometries. We fully describe the causal structure of a simple model based on the algebra $\mathcal{S}(\mathbb{R}^{1,1}) \otimes M_2(\mathbb{C})$,…

Given a map of simplicial topological spaces, mild conditions on degeneracies and the levelwise maps imply that the geometric realization of the simplicial map is a cofibration. These conditions are not formal consequences of model category…

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…

Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…

In this survey article, we review some conceptual approaches to the cyclic category $\Lambda$, as well as its description as a crossed simplicial group. We then give a new proof of the model structure on cyclic sets, work through the…

Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pursue individual or collective goals. In these systems, the…

We give a categorification of the notion of a mathematical structure originally given by Bourbaki in their set theory textbook. We show that any isomorphism-invariant property of a finite structure can be computed by counting the number of…

We obtain a necessary and sufficient condition for the existence of equivariant real structures on complex symmetric spaces for semisimple groups and discuss how to determine the number of equivalence classes for such structures.

The goal is to review the notion of a complete Segal space and how certain categorical notions behave in this context. In particular, we study functoriality in complete Segal spaces via fibrations. Then we use it to define limits and…

We construct a simple topological invariant of certain 3-manifolds, including quotients of the 3-sphere by finite groups, based on the fact that the tangent bundle of an orientable 3-manifold is trivialisable. This invariant is strong…

We covariantize calculations over the manifold of phase space, establishing Stokes' theorem for differential cross sections and providing new definitions of familiar observable properties like infrared and collinear safety. Through the…

This article is a continuation of work on construction and calculation various of modifications of invariant based on the use Euclidean metric values attributed to elements of manifold triangulation. We again address the well investigated…

For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…

We show that codimension one dimensional Jacobian of the barycentric straightening map is uniformly bounded for most of the higher rank symmetric spaces. As a consequence, we prove that the locally finite simplicial volume of most $\mathbb…