2
$\begingroup$

Is there a well-known term for a category where, equivalently:

  1. every morphism is a monomorphism
  2. every slice category is a preorder

?

$\endgroup$
  • 1
    $\begingroup$ I've bumped into the exact same structure in my research. I did not find suitable/universally accepted terminology. I had to invent it myself. $\endgroup$ – Randall Dec 5 '17 at 18:16
  • $\begingroup$ And, what was your term? $\endgroup$ – Berci Dec 5 '17 at 22:49
  • $\begingroup$ 1. is not equivalent to 2., right? Sure the skeleton of each slice is a preorder, but you can have many isomorphic and nonequal fields. $\endgroup$ – Fosco Dec 6 '17 at 8:59
  • 1
    $\begingroup$ A preorder seen as a category is usually called thin. A category such that each slice has proprerty $P$ is often called a locally $P$ category. So maybe a locally thin category? $\endgroup$ – Pece Dec 6 '17 at 13:11
  • $\begingroup$ @FoscoLoregian , preorder is the same as thin except I think for size issues. You might be thinking of poset which is a preorder with anti-symmetry. $\endgroup$ – Max New Dec 6 '17 at 16:51
2
$\begingroup$

A category in which there is at most one morphism between two objects is called thin. A category for which each slice is a gizmo category is often called a locally guizmo category (for example locally cartesian closed category).

Hence it makes sense to call a category in which every morphism is mono a locally thin category.


Beware though that it is not standard and I wouldn't use it without redefining it first.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.