Docs / Syntax / Minimalist / Category

Categories

import Linglib.Syntax.Minimalist.Category · namespace Minimalist

The categories that label heads, those of the clausal spine and of the nominal and adpositional extended projections, and the selectional stack, the categories a head selects, consumed left to right. Each category belongs to one of four families, verbal, nominal, adjectival and adpositional, each with its lexical head, V, N, A and P, and a functional head belongs to the family of the lexical head it extends. The families carry the categorial features [±V, ±N], and the two binary features have four combinations, one for each family, so two categories share their features exactly when they share their family.

Main definitions

Main results

Implementation notes

Chomsky's features first classified the noun, the verb and the adjective; the fourth combination, [−V, −N], was given to the adposition afterwards Baker 2003.

References

Declarations

The categories that label heads, those of the clausal spine and of the nominal and adpositional extended projections.

inductive CatL51–124

Derives Repr, DecidableEq, Inhabited.

Instances Minimalist.Cat.instIsPreorderExtendsTo, Minimalist.ClauseSpine.instMembershipCat

Used by SelStack, CatFamily.lexical, Cat.family, Cat.features, Cat.features_eq_iff

Used in Syntax/Cartography, Syntax/Minimalist/Case/Assignment, Syntax/Minimalist/Clause/Size, Syntax/Minimalist/Clause/Spine, Syntax/Minimalist/Ellipsis and 39 more

Families

The family of a category, the extended projection it belongs to.

def Cat.familyL146–152
Equations

Built from ,

Used by CatFamily.family_lexical, Cat.features, Cat.features_eq_iff

Used in Syntax/Cartography, Syntax/Minimalist/ExtendedProjection, LiuYip2026, Panagiotidis2015

Categorial features

The categorial features [±V, ±N], which cross-classify the four lexical categories: V is [+V, −N], N is [−V, +N], A is [+V, +N] and P is [−V, −N].

structure CatFeaturesL159–164
  • plusV : Bool
  • plusN : Bool

Derives DecidableEq, Repr.

Used by CatFamily.features, Cat.features