I think it would be interesting to add the category of sets whose morphisms are "proper maps", by which I mean that the preimage of a finite set is finite. Equivalently, every fiber is finite.
This category has been discussed in https://math.stackexchange.com/questions/5012262 – but so far no answer has been given.
Maybe we can find all of its properties?
This issue has been created by Martin via the submission form on http://localhost:5173/categories
I think it would be interesting to add the category of sets whose morphisms are "proper maps", by which I mean that the preimage of a finite set is finite. Equivalently, every fiber is finite.
This category has been discussed in https://math.stackexchange.com/questions/5012262 – but so far no answer has been given.
Maybe we can find all of its properties?
This issue has been created by Martin via the submission form on http://localhost:5173/categories