I will discuss a construction of a higher category of $E_n$-algebras and iterated bimodules, generalizing the classical bicategory of algebras and bimodules. This leads to generalizations of the Picard and Brauer groups, which have been studied in stable homotopy theory as interesting invariants of ring spectra, and should also lead to an "algebraic" construction of factorization homology as an extended topological quantum field theory.
Links:
[1] https://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/de/node/3444
[3] https://www.mpim-bonn.mpg.de/de/node/5518