3 papers
cs.LO2026
Cubical Type Theoretic Navya-Nyāya
Mrityunjoy Panday, Sudipta Ghosh
We present a formalization of the technical language of Navya-Nyaya - the "New Logic" school of late-classical Indian philosophy - in CCHM De Morgan cubical type theory (CTT). Prev…
math.GT2025
Degree-1 maps and rank inequalities in Heegaard Floer homology
Fraser Binns, Sudipta Ghosh
Ghosh-Sivek-Zentner constructed degree-1 maps from certain rational homology solid tori to the twisted -bundle over the Klein bottle. We show that these maps yield rank inequali…
math.GT2023
Knot cobordism, torsion order and framed instanton homology
Sudipta Ghosh, Zhenkun Li
We construct cobordism maps for the \textit{minus} version of instanton knot homology associated to a \textit{specially decorated} knot cobordisms of arbitrary genus between two nu…