A new characterization of nondeterministic concurrent strategies exhibits strategies as certain discrete fibrations—or equivalently presheaves—over configurations of the game. This leads to a lax functor from the bicategory of strategies to the bicategory of profunctors. The lax functor expresses how composition of strategies is obtained from that of profunctors by restricting to ‘reachable’ el...

Local variables in imperative languages have been given denotational semantics in at least two fundamentally different ways. One is by use of functor categories, focusing on the idea of possible worlds. The other might be termed event-based, exemplified by Reddy’s object spaces and models based on game semantics. O’Hearn and Reddy have related the two approaches by giving functor category model...

In this paper, I give several characterizations of rational biset functors over p-groups, which are independent of the knowledge of genetic bases for p-groups. I also introduce a construction of new biset functors from known ones, which is similar to the Yoneda construction for representable functors, and to the Dress construction for Mackey functors, and I show that this construction preserves...

We show that there is an exact sequence of biset functors over p-groups 0 → Cb j −→B∗ Ψ −→D → 0 where Cb is the biset functor for the group of Borel-Smith functions, B ∗ is the dual of the Burnside ring functor, D is the functor for the subgroup of the Dade group generated by relative syzygies, and the natural transformation Ψ is the transformation recently introduced by the first author in [5]...

Let G be a finite group. We use the results of [5] to show that the Tate homology of E(n) local spectra with respect to G produces E(n− 1) local spectra. We also show that the Bousfield class of the Tate homology of LnX (for X finite) is the same as that of Ln−1X. To be precise, recall that Tate homology is a functor from G-spectra to G-spectra. To produce a functor PG from spectra to spectra, ...

In this paper, we study the completion of fuzzy quasi-uniform spaces from a categorical point view. Firstly, introduce concept prorelations and describe as enriched categories. Then construct Yoneda embedding in through promodules, prove validness Lemma for right adjoint promodules. Finally, Cauchy by embedding. We show that inclusion functor category T0 separated complete to quasiuniform has l...

A covariant functor from category of complex tori to the category of noncommutative tori is constructed. The functor maps isomorphic complex tori to the Morita equivalent noncommutative tori. Our construction is based on the Teichmüller theory of Riemann surfaces.

Speaker: Gregory Arone (Virginia) Title: Part 1: operads, modules and the chain rule Abstract: Let F be a homotopy functor between the categories of pointed topological spaces or spectra. By the work of Goodwillie, the derivatives of F form a symmetric sequence of spectra ∂∗F . This symmetric sequence determines the homogeneous layers in the Taylor tower of F , but not the extensions in the tow...