Independent Researcher
condensed sets, pro-objects, frame problem, higher category theory, hypergraphs, sheaves