17,180 research outputs found
some economic applications of scott domains
The present paper is structured around two main constructions, fixed points of functors and fibrations and sections of functors. Fixed points of functors are utilized to resolve problems of infinite regress that have recently appeared in economics. Fibrations and sections are utilized to model solution concepts abstractly, so that we can solve equations whose arguments are solution concepts. Most of the objects (games, solution concepts) that we consider can be obtained as some kind of limit of their finite subobjects. Some of the constructions preserve computability. The paper relies heavily on recent work on the semantics of program- ming languages.scott domains,infinite regress,game theory
Constructing applicative functors
Applicative functors define an interface to computation that is more general, and correspondingly weaker, than that of monads. First used in parser libraries, they are now seeing a wide range of applications. This paper sets out to explore the space of non-monadic applicative functors useful in programming. We work with a generalization, lax monoidal functors, and consider several methods of constructing useful functors of this type, just as transformers are used to construct computational monads. For example, coends, familiar to functional programmers as existential types, yield a range of useful applicative functors, including left Kan extensions. Other constructions are final fixed points, a limited sum construction, and a generalization of the semi-direct product of monoids. Implementations in Haskell are included where possible
D-modules on Spaces of Rational Maps and on other Generic Data
Let X be an algebraic curve. We study the problem of parametrizing geometric
data over X, which is only generically defined. E.g., parametrizing generically
defined (aka rational) maps from X to a fixed target scheme Y. There are three
methods for constructing functors of points for such moduli problems (all
originally due to Drinfeld), and we show that the resulting functors are
equivalent in the fppf Grothendieck topology. As an application, we obtain
three presentations for the category of D-modules "on" B (K) \G (A) /G (O), and
we combine results about this category coming from the different presentations.Comment: 55 page
- …