===== Thin category ===== ==== Collection ==== | @#FFBB00: definiendum | @#FFBB00: ${\bf C}$ in it | | @#AAFFAA: inclusion | @#AAFFAA: $\bf C$ ... category | | @#FFFDDD: for all | @#FFFDDD: $A,B:\mathrm{Ob}_{\bf C}$ | | @#FFFDDD: for all | @#FFFDDD: $f,g:{\bf C}[A,B]$ | | @#55EE55: postulate | @#55EE55: $f=g$ | ----- === Discussion === Miau! {{http://youtu.be/rMWtL_YOyrg}} === Reference === nLab: [[http://ncatlab.org/nlab/show/thin+category|Thin category]] ----- === Refinement of === [[Locally small category]]