Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created Fraïssé limit.
(I was pleasantly surprised to see @David_Corfield had posted about the these things a while ago for the n-Category Cafe.)
Mentioned a neat result of Olivia Caramello’s that omega-categorical structures presentable as Fraisse limits are determined by their automorphism groups with the topology of pointwise convergence in a very nice way: their classifying toposes are precisely the toposes of continuous -sets.
To fill in a grey link, I also created an entry for the countable random graph.
I hope the discussion at the Cafe got things right in the end. I recall plenty of terminological confusion about what kind of limits and embeddings were involved.
I see my follow-up didn’t generate much discussion.
1 to 2 of 2