hold up: notion=concept. A concept is a theory of a category. SO what category is “type” fall into?
“A type is a type of…”
oh no. Seems like a type of a type of infinite regress, which is a type of self-supporting structure that is functional but is ungrounded unless grounded.
So how does one ground a type of a type?