Full threadDonbunEf7·I fear that we do not understand patterns well enough to categorify them so easily.View on HN