OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Size functor

 Home Mathematics Fields of mathematics Fields of abstract algebra Algebraic topology
 0 By others on same topic  0 Discussions  1970-01-01  See my version
In category theory, the **size functor** is a concept that relates to the notion of the "size" or "cardinality" of objects in a category. While the term "size functor" may not be universally defined in all contexts, it often appears in discussions concerning the sizes of sets or types in the context of type theory, category theory, and functional programming.

 Ancestors (5)

  1. Algebraic topology
  2. Fields of abstract algebra
  3. Fields of mathematics
  4. Mathematics
  5.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook