21 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!
Anwendungsbeispiele Englisch
weitere Beispiele ...
- Lawvere and Tierney therefore formulated axioms for a topos that assumed a sub-object classifier, and some limit conditions (to make a cartesian-closed category, at least).
- The articles on exponential object and Cartesian closed category provide a more precise discussion of the category-theoretic formulation of this idea.
- A cartesian closed category of spaces is, for example, given by the full subcategory spanned by the compactly generated Hausdorff spaces.
- Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus.
- This fails to be a cartesian closed category, the usual cartesian product of identification maps is not always an identification map, and the usual product of CW-complexes need not be a CW-complex.
- The value-free style of FP is closely related to the equational logic of a cartesian-closed category.
- Since these two operations are always defined, the category of graphs is a cartesian closed category.
- Seely introduced the notion of a locally cartesian closed category (LCCC) as the basic model of type theory.
- Take care to note that a Cartesian closed category need not have finite limits; only finite products are guaranteed.
- At Carnegie Mellon University, Scott proposed the theory of equilogical spaces as a successor theory to domain theory; among its many advantages, the category of equilogical spaces is a cartesian closed category, whereas the category of domains is not.
- This leads to a Cartesian closed category of smooth mappings between [...] -open subsets of convenient vector spaces (see property 6 below).
- Joachim Lambek showed in the early 1970s that the proofs of intuitionistic propositional logic and the combinators of typed combinatory logic share a common equational theory which is the one of cartesian closed categories.
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!