Categorical may refer to: *

Categorical imperative The categorical imperative () is the central philosophical concept in the deontological Kantian ethics, moral philosophy of Immanuel Kant. Introduced in Kant's 1785 ''Groundwork of the Metaphysics of Morals'', it is a way of evaluating motivati ...

, a concept in philosophy developed by Immanuel Kant *

Categorical theory In mathematical logic, a theory is categorical if it has exactly one model ( up to isomorphism). Such a theory can be viewed as ''defining'' its model, uniquely characterizing the model's structure. In first-order logic, only theories with a f ...

, in mathematical logic *

Morley's categoricity theorem In mathematical logic, a theory is categorical if it has exactly one model ( up to isomorphism). Such a theory can be viewed as ''defining'' its model, uniquely characterizing the model's structure. In first-order logic, only theories with a fi ...

, a mathematical theorem in model theory *

Categorical data In statistics, a categorical variable (also called qualitative variable) is a variable (research), variable that can take on one of a limited, and usually fixed, number of possible values, assigning each individual or other unit of observation to a ...

analysis *

Categorical distribution In probability theory and statistics, a categorical distribution (also called a generalized Bernoulli distribution, multinoulli distribution) is a discrete probability distribution that describes the possible results of a random variable that can ...

, a probability distribution *

Categorical logic __NOTOC__ Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, cate ...

, a branch of category theory within mathematics with notable connections to theoretical computer science *

Categorical syllogism A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (define ...

, a kind of logical argument *

Categorical proposition In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category (the ''subject term'') are included in another (the ''predicate term''). The study of arguments ...

, a part of deductive reasoning *

Categorization Classification is the activity of assigning objects to some pre-existing classes or categories. This is distinct from the task of establishing the classes themselves (for example through cluster analysis). Examples include diagnostic tests, identi ...

Categorical perception Categorical perception is a phenomenon of perception of distinct categories when there is gradual change in a variable along a continuum. It was originally observed for auditory stimuli but now found to be applicable to other perceptual modaliti ...

Category theory Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory ...

in mathematics **

Categorical set theory Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory. See also * Categorical logic __NOTOC__ Categorical logic is the branch of mathematics in which tools ...

** Categorical probability * Recursive categorical syntax in linguistics