Vipul: New page: {{category property}} ==Definition== ===Symbol-free definition=== A category is termed '''locally small''' if, for any two objects in the category, the collection of morphisms betwe...

2008-12-09T00:08:31Z

New page: {{category property}} ==Definition== ===Symbol-free definition=== A category is termed '''locally small''' if, for any two objects in the category, the collection of morphisms betwe...

New page

{{category property}}

==Definition==

===Symbol-free definition===

A [[category]] is termed '''locally small''' if, for any two objects in the category, the collection of morphisms between those two objects is a set.

===Definition with symbols===

A [[category]] <math>\mathcal{C}</math> is termed '''locally small''' if, for any objects <math>A,B \in \operatorname{Ob}\mathcal{C}</math>, the collection <math>\mathcal{C}(A,B)</math> is a set.

==Relation with other properties==

===Stronger properties===

* [[Weaker than::Small category]]
* [[Weaker than::Concretizable category]]

Locally small category - Revision history

Vipul: New page: {{category property}} ==Definition== ===Symbol-free definition=== A category is termed '''locally small''' if, for any two objects in the category, the collection of morphisms betwe...