Related papers: Three non-cubical applications of extension types
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
Generalizing the noncommutative harmonic oscillator construction, we propose a new extension of quantum field theory based on the concept of "noncommutative fields". Our description permits to break the usual particle-antiparticle…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
The use of nonstandard methods to characterize properties of weak, strong and mixed extensions of congruences to ultrafilters has been the main topic of several recent papers. We show that similar methods can be used to characterize the…
We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…
This is the third paper in a series. In part I we developed a deformation theory of objects in homotopy and derived categories of DG categories. Here we show how this theory can be used to study deformations of objects in homotopy and…
Three-dimensional theories with cubic symmetry are studied using the machinery of the numerical conformal bootstrap. Crossing symmetry and unitarity are imposed on a set of mixed correlators, and various aspects of the parameter space are…
After briefly reviewing the methods that allow us to derive consistently new Lie (super)algebras from given ones, we consider enlarged superspaces and superalgebras, their relevance and some possible applications.
This survey/expository article covers a variety of topics related to the "topology at infinity" of noncompact manifolds and complexes. In manifold topology and geometric group theory, the most important noncompact spaces are often…
The use of geometric invariants has recently played an important role in the solution of classification problems in non-commutative ring theory. We construct geometric invariants of non-commutative projectivizations, a significant class of…
Extensible variants improve the modularity and expressiveness of programming languages: they allow program functionality to be decomposed into independent blocks, and allow seamless extension of existing code with both new cases of existing…
We present an example of a homotopical localization functor which is not a localization with respect to any set of maps. Our example arises from equivariant homotopy theory. The technique of equivariant cellularization is developed and…
Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed $d$-manifolds endowed with extra structure in the form of homotopy classes of maps…
The theory of abstract convexity, also known as convexity without linearity, is an extension of the classical convex analysis. There are a number of remarkable results, mostly concerning duality, and some numerical methods, however, this…
We classify all cubic extensions of any field of arbitrary characteristic, up to isomorphism, via an explicit construction involving three fundamental types of cubic forms. We deduce a classification of any Galois cubic extension of a…
In this paper, we give a purely cohomological interpretation of the extension problem for associative algebras; that is the problem of extending an associative algebra by another associative algebra. We then give a similar interpretation of…
Cohomologies of nonassociative metagroup algebras are investigated. Extensions of metagroup algebras are studied. Examples are given.
The theory of classical types of curves in normed planes is not strongly developed. In particular, the knowledge on existing concepts of curvatures of planar curves is widespread and not systematized in the literature. Giving a…
Simplicial type theory extends homotopy type theory with a directed path type which internalizes the notion of a homomorphism within a type. This concept has significant applications both within mathematics -- where it allows for synthetic…
q-oscillator models are considered in two and higher dimensions and their symmetries are explored. New symmetries are found for both isotropic and anisotropic cases. Applications to the spectra of triatomic molecules and superdeformed…