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 | View the thread | More toots from caten@mathstodon.xyz

Mentions

Tags

=> View abstractalgebra tag | View algebra tag | View bourbaki tag | View logic tag | View combinatorics tag | View categorytheory tag