===== Discrete category =====
==== Collection ====
| @#FFBB00: definiendum | @#FFBB00: ${\bf C}$ in $\mathrm{it}$ |
| @#FFFDDD: exists      | @#FFFDDD: $F$ ... equivalence of categories $({\bf C}, {\bf D})$ |
| @#FFFDDD: for all     | @#FFFDDD: $f:\mathrm{Mor}_{\bf D}$ |
| @#FFFDDD: exists      | @#FFFDDD: $A\in{\bf D}$ |
| @#55EE55: postulate   | @#55EE55: $f=1_A$ |

==== Discussion ====
=== Idea === 
A discrete category either has no non-identity arrows or at least is equivalent to such a category.

=== Terminology ===
The discrete categories with $n$ objects are denoted ${\bf n}$.

=== Reference ===
nLab: [[http://ncatlab.org/nlab/show/discrete+category|Discrete category]]

Wikipedia: [[http://en.wikipedia.org/wiki/Discrete_category|Discrete category]]

==== Parents ====
=== Requirements ===
[[Equivalence of categories]]