PlanetPhysics/Essential Subcategory

From testwiki
Jump to navigation Jump to search

A [[../Cod/|category]] E is defined as an essential subcategory of category 𝒜 if every [[../TrivialGroupoid/|object]] of 𝒜 is isomorphic to some object of E.

All Sources

[1]

References

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

Template:CourseCat