Related papers: Higher order Toda brackets
In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions…
The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation of Scala, but its support for type-level computation has proven insufficient. As a remedy, we propose $F^\omega_{..}$, a rigorous…
This is a glossary of notions and methods related with the topological theory of collections of affine planes, including braid groups, configuration spaces, order complexes, stratified Morse theory, simplicial resolutions, complexes of…
In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category.…
In this article, we interconnect two different aspects of higher category theory, in one hand the theory of infinity categories and on an other hand the theory of 2-categories.We construct an explicit functorial path objet in the model…
We describe $L_\infty$-algebras governing homotopy relative Rota-Baxter Lie algebras and triangular $L_\infty$-bialgebras, and establish a map between them. Our formulas are based on a functorial approach to Voronov's higher derived…
A simple procedure to enumerate all Toda systems associated with complex classical Lie groups is given.
We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…
We define novel fully combinatorial models of higher categories. Our definitions are based on a connection of higher categories to "directed spaces". Directed spaces are locally modelled on manifold diagrams, which are stratifications of…
We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…
The exactly integrable systems connected with semisimple series $A$ for arbitrary grading are presented in explicit form. Their general solutions are expressed in terms of the matrix elements of various fundamental representations of $A_n$…
In this article we prove in the main theorem that, there is a bijection between the isomorphism classes of a certain type of real hyperplane arrangements on the one hand, and the antipodal pairs of convex cones of an associated…
The set of strata of a reductive group can be viewed as an enlargement of the set of unipotent classes. In this paper the notion of distinguished unipotent class is extended to this larger set. The strata of a Weyl group are introduced and…
The homotopy theory of infinity-operads is defined by extending Joyal's homotopy theory of infinity-categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a model category structure…
Complex Lie point transformations are used to linearize a class of systems of second order ordinary differential equations (ODEs) which have Lie algebras of maximum dimension $d$, with $d\leq 4$. We identify such a class by employing…
This paper is mainly a review of the multi--Hamiltonian nature of Toda and generalized Toda lattices corresponding to the classical simple Lie groups but it includes also some new results. The areas investigated include master symmetries,…
It is well known that the existence of a braiding in a monoidal category V allows many structures to be built upon that foundation. These include a monoidal 2-category V-Cat of enriched categories and functors over V, a monoidal bicategory…
The discrete models of the Toda and Volterra chains are being constructed out of the continuum two-boson KP hierarchies. The main tool is the discrete symmetry preserving the Hamiltonian structure of the continuum models. The two-boson…
We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some techniques for showing other things are not examples. While…
We continue the study of the B-Toda hierarchy (the Toda lattice with the constraint of type B) which can be regarded as a discretization of the BKP hierarchy. We introduce the tau-function of the B-Toda hierarchy and obtain the bilinear…