Lens
圏論をデータベースに応用する(1) - bitterharvest’s diary