Enriched ∞-categories and Extended TFTs
While (weak) n-categories and (∞,n)-categories are of central importance in the study of extended topological field theories, they are notoriously hard to even define, let only work with. However, their description via iterated weak enrichment can be used to prove a surprising amount of statements from general principles. Currently, I am using the machinery of enriched ∞-categories to construct and characterize lax idempotents, also known as condensations, in them. This and related constructions should prove useful to construct and classify (derived) Extended TFTs.