2026 01 11

I talked about injective sets in constructive mathematics at 可算集合オフ (Offline meeting on countable sets), Ookayama (Japan), 11 January 2026.