nLab magnitude of an enriched category

Redirected from "magnitude".

Idea

The magnitude of an enriched category is a canonical measure of its size.

Examples

References

Created on December 4, 2023 at 23:42:10. See the history of this page for a list of all contributions to it.