Jump to content

PlanetPhysics/Essential Subcategory

From Wikiversity

A category is defined as an essential subcategory of category if every object of is isomorphic to some object of .

All Sources

[edit | edit source]

[1]

References

[edit | edit source]
  1. Paul Taylor. "Practical Foundations of Mathematics.", Cambridge University Press, 1999. (see also categories, functors and pseudo-functors).