Rosen's no-go theorem for regular categories. (arXiv:2012.11648v1 [math.CT]) http://arxiv.org/abs/2012.11648
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.
