theHigherGeometer on Nostr: So far in this project I have used: infinite-dimensional Lie groupoids diffeological ...

So far in this project I have used:

infinite-dimensional Lie groupoids
diffeological vector spaces as classifying spaces
bicategorical methods
formal anafunctors
differential form calculations
Hodge decomposition as a topological direct sum of TVSes
crossed modules
model categories

All to replace four flippant lines.