In previous work [7], the authors constructed and studied a lift of the Galois correspondence to stable homotopy categories. In particular, if L/k is a nite Galois extension of elds with Galois group G, there is a functor c∗ L/k : SHG → SHk from the G-equivariant stable homotopy category to the stable motivic homotopy category over k such that c∗ L/k (G/H+) = Spec(L)+. The main theorem of [7] s...

In this paper we consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these constructions agree with the usual ones for algebras. In case of the smash product for an infinite group our construction specialized for a ring agrees with M. Beatti...

This paper defines a new proofand category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?. The resulting linear/producer/consumer (LPC) logic puts the three classes of propositions on the same semantic footing, following Benton’s linear/non-linear formulation of intuitionistic linear logic. Seman...

The ability to acquire non-linearly separable (NLS) classifications is well documented in the study of human category learning. In particular, one experiment (Medin & Schwanenflugel, 1981; E4) is viewed as the canonical demonstration that, when withinand betweencategory similarities are evenly matched, NLS classifications are not more difficult to acquire than linearly separable ones. The resul...

Bistructures are a generalisation of event structures to represent spaces of functions at higher types; the partial order of causal dependency is replaced by two orders, one associated with input and the other output in the behaviour of functions. Bistructures form a categorical model of Girard’s classical linear logic in which the involution of linear logic is modelled, roughly speaking, by a ...