In category theory and related fields of mathematics, a refinement is a construction that generalizes the operations of "interior enrichment", like bornologification...

the refinement of an open cover in mathematical topology Refinement (category theory) Refinement (computing), computer science approaches for designing...

In type theory, a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type. Refinement types can...

sometimes other concepts, like eudaimonia, to an extent that other ethics theories do not.[citation needed] In virtue ethics, a virtue is a characteristic...

new proof. International Journal of Game Theory 2:235–250. Govindan, Srihari & Robert Wilson, 2008. "Refinements of Nash Equilibrium," The New Palgrave...

theoretical work in cosmology now involves extensions and refinements to the basic Big Bang model. The theory itself was originally formalised by Father Georges...

Sylow J. Thompson J. Tits Helmut Wielandt H. Zassenhaus M. Zorn List of abstract algebra topics List of category theory topics List of Lie group topics...

benefited from chaos theory. Instead of robots acting in a trial-and-error type of refinement to interact with their environment, chaos theory has been used...

theory developed by Per Martin-Löf, and is often extended to a three way correspondence, the third leg of which are the cartesian closed categories....

topological space. A dual construction is called refinement. Suppose K {\displaystyle K} is a category, X {\displaystyle X} an object in K {\displaystyle...

consider their ideas to be separate from Hullian learning theory, only a possible refinement. Nor did they follow up on their original ideas with a sustained...

In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable...

representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the homotopy category Hotc of pointed connected...

and plus Binary refinement already proves that there exists an Archimedean, Dedekind complete pseudo-ordered field. That set theory also proves that...

dimension is the smallest number n such that for every cover, there is a refinement in which every point in X lies in the intersection of no more than n + 1...

framework for formal program development". Proceedings of the Workshop on Category Theory and Computer Programming: ETAPS'98. Vol. 173. Lisbon, Portugal: Springer...

Functional attitude theory (FAT) suggests that beliefs and attitudes are influential to various psychological functions. Attitudes can be influential on...

equilibria, this case is a pure coordination problem with no possibility of refinement or selection. Thus, the two players will try to maximise their own payoff...

abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every...

Sequential equilibrium is a refinement of Nash equilibrium for extensive form games due to David M. Kreps and Robert Wilson. A sequential equilibrium specifies...

resolution limit of modularity), the Leiden algorithm employs an intermediate refinement phase in which communities may be split to guarantee that all communities...

ISBN 9780137053490. Aycan, Z. (2006). "Paternalism: Towards conceptual refinement and operationalization". In Kim, U.; Yang, S.; Hwang, K.-K. (eds.). Indigenous...

angular pressing (ECAP) or high-pressure torsion (HPT), can lead to grain refinement and the creation of new grain boundaries with tailored characteristics...

language of category theory, a homology theory is a type of functor from the category of the mathematical object being studied to the category of abelian...

experimentally to an extremely high degree of accuracy. For example, the refinement of quantum mechanics for the interaction of light and matter, known as...

requiring quantum theory to agree with the classical theory only in the limit of large quantum numbers. The Bohr–Kramers–Slater theory (BKS theory) is a failed...

lattice theory Join (topology), an operation combining two topological spaces Join (category theory), an operation combining two categories Join (simplicial...

so many biological behaviours. One important further refinement of the evolutionary game theory model that has economic overtones rests on the analysis...

psychological, and anthropological theories about religion generally attempt to explain the origin and function of religion. These theories define what they present...

a basis of Morse theory. For many applications in representation theory, perverse sheaves can be treated as a 'black box', a category with certain formal...