Related papers: Higher order Toda brackets
The present paper gives a proof of the author's paper in the Proceeding of the International Conference on Homotopy Theory and Related Topics at Korea University (2005), 109--113, on the orders of Whitehead products of iota_n with alpha in…
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
We provide a definition of enrichment that applies to a wide variety of categorical structures, generalizing Leinster's theory of enriched $T$-multicategories. As a sample of newly enrichable structures, we describe in detail the examples…
We describe a point-set category of parametrized orthogonal spectra, a model structure on this category, and a separate, more geometric class of cofibrant-and-fibrant objects. The structures we describe are "convenient" in that they are…
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)…
The Toda hierarchy refers to a family of integrable flows on Jacobi operators that have many applications in mathematics and physics. We demonstrate carefully that an alternative characterization of the Toda hierarchy using cocycle maps is…
This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…
We present the theory of higher order invariants and higher order automorphic forms in the simplest case, that of a compact quotient. In this case many things simplify and we are thus able to prove a more precise structure theorem than in…
This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to…
There are two main approaches to the problem of realizing a $\Pi$-algebra (a graded group $\Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an…
We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…
The existing constructions of derived Lie and sh-Lie brackets involve multilinear maps that are used to define higher order differential operators. In this paper, we prove the equivalence of three different definitions of higher order…
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general…
We describe a mathematical structure that can give extensional denotational semantics to higher-order probabilistic programs. It is not limited to discrete probabilities, and it is compatible with integration in a way the models that have…
We introduce the notion of homotopically discrete n-fold category as an n-fold generalization of a groupoid with no non-trivial loops. We give two equivalent descriptions of this structure: in terms of a Segal-type model and in terms of…
The present paper develops two concepts of pointwise differentiability of higher order for arbitrary subsets of Euclidean space defined by comparing their distance functions to those of smooth submanifolds. Results include that…
We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial…
An extension of order theory is presented that serves as a formalism for the study of dendroidal sets analogously to way the formalism of order theory is used in the study of simplicial sets.
We introduce a new integrable hierarchy of nonlinear differential-difference equations which is a subhierarchy of the 2D Toda lattice defined by imposing a constraint to the Lax operators of the latter. The 2D Toda lattice with the…