User:TakuyaMurata/Stable sheaf