Talk:Discrete category

Is a Discrete category the simplest category?
Other than the empty category, what about a category where the morphism class was empty? Isn't that simpler? Non-cooked up/non-trivial examples would be illuminating, since they would be badly behaved as mathematical? objects is such things exist.

How does this relate to the category of Fields (of prime order), whose morphisms are either automorphisms or they don't exist for fields of different prime order, an example which seems to be one level more complicated than a discrete category? — Preceding unsigned comment added by 86.27.207.97 (talk) 00:05, 23 February 2013 (UTC)


 * Wow. Don't know what to say. The simplest discrete category is that with one object. The one with two objects is commonly used as an example when defining the diagonal functor and it corresponds to a product (category theory). Can't say anything about fields. 67.198.37.16 (talk) 05:41, 26 February 2018 (UTC)