3 ms·
hmm yes but what if we construe boringification as decategorification of the n-category of interesting algebraic constructions?
by disconcision 10y ago
hmm yes but what if we construe boringification as decategorification of the n-category of interesting algebraic constructions?