1 citations · 1 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
Generic countably infinite groups
Márton Elekes, Boglárka Gehér, Kristóf Kanalas +2
Countably infinite groups (with a fixed underlying set) constitute a Polish space with a suitable metric, hence the Baire category theorem holds in . We study isomorphism in…
math.CT2021
The (2,1)-category of small coherent categories
Kristóf Kanalas
There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category …