Abstract:In various subjects including mathematics, one can hope to use mathematical thinking well when the right kinds of algebraic structure to consider can be discovered or spotted. Therefore, it would help to understand kinds of algebraic structure in some great generality. In tradition, certain general kinds of algebraic structure are studied through the theory of operads, of algebraic theories, of properads (possibly with "colours" or "sorts") or of the like. We understand this as use of algebra for studying a certain meta aspect of the subject of algebra, namely, studying kinds of algebraic structure in general (rather than structures of specific kinds themselves). In higher categorical contexts, more various algebraic structures can be considered (starting in fact with operads considered with arbitrarily varying colours) than can be covered with mere higher categorified versions of the traditional tools. In this survey, we develop a systematic view on quite general algebraic structures with high categorical dimensionality. We do this by extending algebra for the meta aspect of algebra, to a higher order, or highly meta, theory of algebra, where the theoretic order turns out to match the categorical dimension. We will discuss some examples including a natural generalization of the notion of topological field theory (TFT) obtained in the resulting new system. It turns out a generalized TFT can have a very different characterization from a conventional TFT does.

Design-theoretic analogies between codes, lattices, and vertex operator algebras

Codes, Cubes, and Graphical Designs

Code algebras, axial algebras and VOAs

Complex Spherical Designs and Codes

Left-symmetric conformal algebras and vertex algebras

Categorical study for Algebras of lattice-valued logic and lattice-valued modal logic

Graphic Lattices and Matrix Lattices Of Topological Coding

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator

Higher coherence and a generalization of higher categorified algebraic structures

Algebraic Methods for Quantum Codes on Lattices

Connections Between Construction D and Related Constructions of Lattices

Lattices from codes for harnessing interference: An overview and generalizations

Combinatorial t-designs from special functions

Linear codes from support designs of ternary cyclic codes

Infinite families of 2-designs from linear codes

Ordered algebraic structure in a linear code

Graphical Designs and Extremal Combinatorics

Toroidal extended affine Lie algebras and vertex algebras

An algebraic quantum field theoretic approach to toric code with gapped boundary

Borel-type subalgebras of the lattice vertex operator algebra

Algebraic lattice codes for linear fading channels