Ancestors

Toot

Written by Charlotte Aten on 2024-12-04 at 17:26

I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:

https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.

• Terms and conditions may apply. Small is constrained by the logical complexity of a property and may not conform to mundane notions of smallness in bad cases.

[#]CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra

=> More informations about this toot | More toots from caten@mathstodon.xyz

Descendants

Written by Charlotte Aten on 2024-12-05 at 18:43

The video for this talk is now available:

https://www.youtube.com/watch?v=i4X_aCgbwcw

=> More informations about this toot | More toots from caten@mathstodon.xyz

Written by Jesus Margar on 2024-12-04 at 22:28

@caten I was reading about invariant theory today while waiting for a meeting and I saw a statement of the result by Hilbert that you quote in the abstract in Mukai's book, who described it as "well known", but unattributed. I interpreted it was obvious, tried proving it in my head and failed, feeling stupid. Glad to see it was not obvious. Good luck with your talk.

=> More informations about this toot | More toots from jesusmargar@mastodon.social