Related papers: Notes on Multiple Higher Category Theory

We introduce higher dimensional hypergraphs, which is a generalization of Baez-Dolans's opetopic sets and Hermida-Makkai-Power's multigraphs. This is based on a simple combinatorial structure called shells and the formal composites of…

We make strict $n$-categories even stricter by requiring they satisfy higher exchange laws governed by Hadzihasanovic's theory of regular directed complexes. We study the first properties of stricter $n$-categories, in particular, we define…

The goal of this paper is to develop a theory of join and slices for strict $\infty$-categories. To any pair of strict $\infty$-categories, we associate a third one that we call their join. This operation is compatible with the usual join…

We prove a generalization of Quillen's Theorem B to strict $\infty$-categories. More generally, we show that under similar hypothesis as for Theorem B, the comma construction for strict $\infty$-categories, that we introduced with…

We construct open descendants of Gepner models, concentrating mainly on the six-dimensional case, where they give type I vacua with rich patterns of Chan-Paton symmetry breaking and various numbers of tensor multiplets, including zero. We…

The theory of contractions of multivectors, and star duality, was reorganized in a previous article, and here we present some applications. First, we study inner and outer spaces associated to a general multivector $M$ via the equations $v…

Generalized complex geometry, introduced by Hitchin, encompasses complex and symplectic geometry as its extremal special cases. We explore the basic properties of this geometry, including its enhanced symmetry group, elliptic deformation…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal's…

This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be…

In this paper we consider how the strong-coupling scale, or perturbative cutoff, in a multi-gravity theory depends upon the presence and structure of interactions between the different fields. This can elegantly be rephrased in terms of the…

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…

We develop a theory of rewriting for structured cospans in order to extend compositional methods for modeling open networks. First, we introduce a category whose objects are structured cospans, and establish conditions under which it is…

We introduce the metric space valued in partially ordered groups, and define the convergence of sequences and the multi-valued weak contractions, etc., on the space. We then establish endpoint theorems for the defined maps. Our…

We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…

Baker devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a…

Motivated by applications to perverse sheaves, we study combinatorics of two cell decompositions of the symmetric product of the complex line, refining the complex stratification by multiplicities. Contingency matrices, appearing in…

We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…

This paper, written in 1998, aims to clarify various higher categorical structures, mostly through the theory of generalized operads and multicategories. Chapters I and II, which cover this theory and its application to give a definition of…

We establish and fully characterize the multidimensional extension of the Stronger Central Sets Theorem. Additionally, we develop a polynomial generalization of this result. Our approach utilizes tools from the Algebra of the Stone-\v{C}ech…