Related papers: Mapping Spaces of Gray-Categories

A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…

If $q:Y\longrightarrow{B}$ is a fibration and $Z$ is a space, then the free range mapping space $Y!Z$ has a collection of partial maps from $Y$ to $Z$ as underline space, i.e. those such maps whose domains are individual fibre of $q$. It is…

We introduce the notion of a "graded topological space": a topological space endowed with a sheaf of abelian groups which we think of as a sheaf of gradings. Any object living on a graded topological space will be graded by this sheaf of…

We develop a unified categorical framework for gauging both continuous and finite symmetries in arbitrary spacetime dimensions. Our construction applies to geometric categories i.e. categories internal to stacks. This generalizes the…

Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…

Classes of Banach spaces that are finitely, strongly finitely or elementary equivalent are introduced. On sets of these classes topologies are defined in such a way that sets of defined classes become compact totally disconnected…

We decribe the correspondence between normalised $\omega$-operads and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category.…

Enriched motivic $\mathcal A$-spaces are introduced and studied in this paper, where $\mathcal A$ is an additive category of correspondences. They are linear counterparts of motivic $\Gamma$-spaces. It is shown that rational special…

Topological order of a topological phase of matter in two spacial dimensions is encoded by a unitary modular (tensor) category (UMC). A group symmetry of the topological phase induces a group symmetry of its corresponding UMC. Gauging is a…

We introduce the notion of an enriched fibration, i.e. a fibration whose total category and base category are enriched in those of a monoidal fibration in an appropriate way. Furthermore, we provide a way to obtain such a structure,…

In this paper we answer the question: `what kind of a structure can a general multicategory be enriched in?' The answer is, in a sense to be made precise, that a multicategory of one type can be enriched in a multicategory of the type one…

Any nonpositively curved symmetric space admits a topological compactification, namely the Hadamard compactification. For rank one spaces, this topological compactification can be endowed with a differentiable structure such that the action…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…

We consider notions of metrized categories, and then approximate categorical structures defined by a function of three variables generalizing the notion of $2$-metric space. We prove an embedding theorem giving sufficient conditions for an…

We prove that a conformal mapping defined on the unit disk belongs to a weighted Bergman space if and only if certain integrals involving the harmonic measure converge. With the aid of this theorem, we give a geometric characterization of…

The category of super convex spaces, a proper subcategory of convex spaces, possesses the property that it has a codense subcategory. This codense subcategory allows for an elementary proof that the Giry monad factorizes through the…

We develop parallel transport on path spaces from a differential geometric approach, whose integral version connects with the category theoretic approach. In the framework of 2-connections, our approach leads to further development of…

We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…

The Epstein deformation space parameterizes marked rational maps with prescribed combinatorial and dynamical structure. For the family of quadratic rational maps with a periodic critical cycle of order 4 and an extra critical point not…

We use a 2-categorical version of (de-)equivariantization to classify (3+1)d topological orders with a finite $G$-symmetry. In particular, we argue that (3+1)d fermionic topological order with $G$-symmetry correspond to…