Concepts inFast and loose reasoning is morally correct
Ethics
Ethics, also known as moral philosophy, is a branch of philosophy that involves systematizing, defending, and recommending concepts of right and wrong behavior.
more from Wikipedia
Partial equivalence relation
In mathematics, a partial equivalence relation (often abbreviated as PER) on a set is a relation that is symmetric and transitive. In other words, it holds for all that: if, then (symmetry) if and, then (transitivity) If is also reflexive, then is an equivalence relation. In a set-theoretic context, there is a simple structure to the general PER on : it is an equivalence relation on the subset . (is the subset of such that in the complement of no element is related by to any other.
more from Wikipedia
Cartesian closed category
In category theory, a category is cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that they provide a natural setting for lambda calculus. For generalizations of this notion to monoidal categories, see closed monoidal category.
more from Wikipedia
Function space
In mathematics, a function space is a set of functions of a given kind from a set X to a set Y. It is called a space because in many applications it is a topological space, a vector space, or both.
more from Wikipedia
Codomain
In mathematics, the codomain or target set of a function is the set Y into which all of the output of the function is constrained to fall. It is the set Y in the notation f: X ¿ Y. The codomain is also sometimes referred to as the range but that term is ambiguous as it may also refer to the image. The codomain is part of the modern definition of a function f as a triple (X, Y, F), with F a subset of the Cartesian product X × Y.
more from Wikipedia
Domain of a function
In mathematics, the domain of definition or simply the domain of a function is the set of "input" or argument values for which the function is defined. That is, the function provides an "output" or value for each member of the domain. For instance, the domain of cosine is the set of all real numbers, while the domain of the square root consists only of numbers greater than or equal to 0 (ignoring complex numbers in both cases).
more from Wikipedia
Infinity
Infinity refers to something without any limit, and is a concept relevant in a number of fields, predominantly mathematics and physics. Having a recognizable history in these disciplines reaching back into the time of ancient Greek civilization, the term in the English language derives from Latin infinitas, which is translated as "unboundedness". In mathematics, "infinity" is often treated as if it were a number but it is not the same sort of number as the real numbers.
more from Wikipedia