Cobordism hypothesis

Stream: Is there code for X?

[Kaushal Timilsina]

I am studying: On the Classification of Topological Field Theories (Draft) (arXiv:0905.0465) for a reading program and came across this answer(https://mathoverflow.net/a/311161) by @Manuel Bärenz on math overflow. Has there been progress on setting up the cobordism hypothesis on lean? I think it would be an interesting project.

[Johan Commelin]

@Kyle Miller and @Reid Barton would be the people to talk to, I think

[Reid Barton]

It would be a large project just to write down the statement I think.

[Reid Barton]

Are you familiar with the work of Grady and Pavlov? https://arxiv.org/abs/2111.01095
Their framework might be more manageable, not sure

[Kaushal Timilsina]

I agree that it would be a large project. Thanks very much for pointing me to Grady and Pavlov's work. The category Cart and the site FEmb_{d} seem interesting to me already. I should read this paper soon.