フードフリー

夜から宜野湾マリーナーへ

なんか、涼しくってよい

が、既に食べ物があんまりないな

top / X と Presheaf は構成できたので、随伴関手に取りかってます

相対位相使うのか。型が誘導してくれるので、なんとか。でも LLM は使い物にならず