Categorical axiom systems for these structures can be obtained in stronger logics such as second-order logic.

* Categorical logic

Categorical logic -- Clocked logic -- Cointerpretability -- College logic -- Combinational logic -- Combinatory logic -- Computability logic -- Conditional -- Conditional proof -- Conjunction elimination -- Conjunction introduction -- Conjunctive normal form -- Consequent -- Constructive dilemma -- Contradiction -- Contrapositive -- Control logic -- Converse ( logic ) -- Converse Barcan formula -- Cotolerance -- Counterfactual conditional -- Curry's paradox

Categorical models of bunched logic are given by doubly closed categories, which are both cartesian closed and symmetric monoidal closed.

Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.

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

# Deontological ethics, notions based on ' rules ' i. e. that there is an obligation to perform the ' right ' action, regardless of actual consequences ( epitomized by Kant's notion of the Categorical Imperative )

It is often said that the Categorical Imperative is the same as The Golden Rule.

Schopenhauer claimed that the Categorical Imperative is actually hypothetical and egotistical, not categorical.

Immanuel Kant, a great influence for Rawls, similarly applies a lot of procedural practice within the practical application of The Categorical Imperative, however, this is indeed not based solely on ' fairness '.

Even though an example like the one above regarding the orange would not be something that required the practical application of The Categorical Imperative, it is important to draw distinction between Kant and Rawls, and note that Kant's Theory would not necessarily lead to the same problems Rawls ' does-i. e., the cutting in half of the orange.

Categorical data is a grouping of data into discrete groups, such as months of the year, age group, shoe sizes, and eye colors.

This led to the most important part of Kant's ethics, the formulation of the Categorical Imperative, which is the criterion for whether a maxim is good or bad.

" For Kant, practical reason has a law abiding quality because the Categorical imperative is understood to be binding one to one's duty rather than subjective preferences.

Caml ( originally an acronym for Categorical Abstract Machine Language ) is a dialect of the ML programming language family, developed at INRIA and formerly at ENS.

Categorical imperative is a method for determining right from wrong by thinking through the ethical valence of an act, regardless of motive.

Closed categories Proceedings of the Conference on Categorical Algebra.

Categorical rankings are decided on performance in the grand finals and finals.

Categorical propositions can be categorized into four types on the basis of their quality, quantity, and distribution.

* Categorical theory

Categorical products are a particular kind of limit in category theory.

* Borceux, F. Handbook of Categorical Algebra: vol 1 Basic category theory ( 1994 ) Cambridge University Press, ( Encyclopedia of Mathematics and its Applications ) ISBN 0-521-44178-1

* Categorical theory, under which the power to declare war includes " the power to control all decisions to enter war ".

* Categorical ( or " functorial ") semantics uses category theory as the core mathematical formalism ;

* Herrlich, Horst & Strecker, George E .: Categorical Topology-its origins, as examplified by the unfolding of the theory of topological reflections and coreflections before 1971.

* Duško Pavlović, Categorical interpolation: descent and the Beck-Chevalley condition without direct images, Category theory Como 1990, pp. 306 – 325, Lecture Notes in Mathematics 1488, Springer 1991

This topological closure operator has been generalized in category theory ; see Categorical Closure Operators by G. Castellini in " Categorical Perspectives ", referenced below.

** Categorical set theory

* Categorical distribution: for discrete random variables with a finite set of values.

** Categorical grants may be spent only for narrowly defined purposes and recipients often must match a portion of the federal funds.

* Level, for a Categorical variable in statistics, the different values that such a variable can have

Categorical random variables are normally described statistically by a categorical distribution, which allows an arbitrary K-way categorical variable to be expressed with separate probabilities specified for each of the K possible outcomes.

" Exact Inference for Categorical Data ".

Moreover, Kant saw a good will as acting in accordance with a moral command, the " Categorical Imperative ": " Act according to those maxims that you could will to be universal law.

* Categorical programming with inductive and coinductive types by Varmo Vene

Categorical equivalence has found numerous applications in mathematics.

* Categorical list of programming languages

* Categorical data analysis-Data sets used in the book, An Introduction to Categorical Data Analysis, by Agresti are provided on-line by StatLib.

** Immanuel Kant's Categorical Imperative, which roots morality in humanity's rational capacity and asserts certain inviolable moral laws.

Social cognition: Categorical person perception.

Schopenhauer's criticism of the Kantian philosophy expresses doubt concerning the absence of egoism in the Categorical Imperative.

Schopenhauer specifically targeted the Categorical Imperative, labelling it cold and egoistic.

* Herrlich, Horst: Categorical topology 1971-1981.

* Categorical Exclusion ( CATEX ): As discussed above, the government may exempt an agency from the process.

* Categorical Pretreatment Standards are issued to industrial users ( also called " indirect dischargers ") contributing wastes to POTW.