PlanetPhysics/Essential Subcategory
Jump to navigation
Jump to search
A [[../Cod/|category]] is defined as an essential subcategory of category if every [[../TrivialGroupoid/|object]] of is isomorphic to some object of .
All Sources
References
- ↑ Paul Taylor. "Practical Foundations of Mathematics.", Cambridge University Press, 1999. (see also categories, functors and pseudo-functors).