Mathematics – Logic
Scientific paper
2011-06-21
Mathematics
Logic
Scientific paper
For each Heyting category and each of a class of pairs of ordered partial combinatory algebras internal to that Heyting category, we define the category of assemblies by a universal property and show how to construct categories that satisfy this property. After that, we show that the exact completion of the category of assemblies is a topos if the underlying Heyting category is a topos. The paper ends with some examples.
No associations
LandOfFree
Regular Functors and Relative Realizability Categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Regular Functors and Relative Realizability Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Regular Functors and Relative Realizability Categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-178123