Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Huh. I would have thought you’d want to capture the notion of relation rather than the notion of epi-mono factorization.
That is, I would have generalized the notion as a finitely complete category with the property that groupoids are effective, and that pullbacks preserve geometric realizations (or maybe just geometric realizations of groupoids). I actually thought about creating such a stub myself.
Is there a relation between the two different ideas?
It’s not clear whether the $n$ in the definition is meant to vary over all $n\geq 0$, or if just one value of $n$ is needed.
1 to 4 of 4