{"id":"arxiv/2606.01444","url":"https://arxiv.org/abs/2606.01444","tags":["cs.AI","cond-mat.mtrl-sci","cs.CL","cs.LG","math.CT"],"score":0,"title":"Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence","domain":"cs.AI","source":"arxiv","authors":["Fiona Y. Wang","Markus J. Buehler"],"reviews":0,"subject":"cs.AI","summary":"Scientific discovery is not only answer generation but revision of the representational regime in which evidence, artifacts, operations, and verifiers are typed. We develop a category-theoretic account of agentic discovery for materials science. In a fixed regime b with schema category S_b, the system state is a copresheaf I_t: S_b -> Set, and provenance is the category of elements \\int_{S_b} I_t. Fixed-regime operation is an update on such states, endofunctorial only when provenance-preserving refinements are specified and preserved. Discovery is instead a verified regime transition u: S_b…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-31","reactions":{}}