Sentence examples for theoretic category from inspiring English sources

These mathematical objects might be set theoretic, category theoretic or type theoretic.

However, the setting here is more general, and the results are stated in the measure theoretic category.

Jonathan Bain (2013) argues that critics of radical ontic structural realism have implicitly relied on a set-theoretic notion of structure and that a category theoretic formulation of ontic structural realism is useful in explicating the structure of physical theories, in particular, general relativity.

9. See also Link (1983); and La Palme-Reyes et al. (1994) in a category theoretic setting.

Voutsadakis approach uses the notion of pi-institution, introduced by Fiadeiro and Sernadas, as the analogue of the logic systems in his category theoretic setting.

Perhaps the most in depth treatment of information flow in category theoretic terms is to be found in the work of Samson Abramsky, and an excellent overview may be found in his "Information, Processes, and Games" (2008).

A category theoretic approach to lattice leads to the use of Galois connections to build the lattice: in this case, the lattice is named a Galois lattice [51] and supports ordered relationships between compound elements from two different sets, provided these sets are monotonous.

Further category-theoretic work on information flow may be found in Goguen (2004 see Other Internet Resources).

This has lead to a reformulation (in a category-theoretic setting) of the theory of logic systems as explained in this entry.

Recent important work on category-theoretic frameworks for information flow that extend to quantifiable/probabilistic frameworks is due to Seligman (2009).

Our framework incorporates category-theoretic entities for the utterances made in an agent dialog and for the commitments incurred by those utterances, together with maps between these.