## Stream: maths

### Topic: from preorder to category

#### Kenny Lau (Aug 04 2020 at 15:21):

How problematic will it be if I were to have an instance of category P from preorder P?

#### Reid Barton (Aug 04 2020 at 15:22):

I think we used to have it

#### Reid Barton (Aug 04 2020 at 15:22):

or at least it was discussed before

#### Kenny Lau (Aug 04 2020 at 15:22):

docs#category_theory.preorder.small_category

so we do have it

#### Reid Barton (Aug 04 2020 at 15:24):

We still do, but we used to, too

Last updated: May 09 2021 at 11:09 UTC