Abstract. We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally cartesian closed category, whereas the additive (product and coproduct) and exponential (⊗-comonoid comonad) structures require additional properties and a...

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is reminiscent of Day’s convolution on presheaves. We then make this category into a model for intuitionistic linear logic by defining an additive and exponent...

We describe categorical models of a circuit-based (quantum) functional pro- gramming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order linear language for circuits, and a more powerful host language, such that the circuit language is embedded inside the host language. Our categorical semantics ...

the purpose of this paper is to studying nonlinear k-ε turbulence models and its advantages in internal combustion engines, since the standard k-ε model is incapable of representing the anisotropy of turbulence intensities and fails to express the reynolds stresses adequately in rotating flows. therefore, this model is not only incapable of expressing the anisotropy of turbulence in an engine c...

We study the category of discrete modules over the ring of degree zero stable operations in p-local complex K-theory. We show that the K(p)-homology of any space or spectrum is such a module, and that this category is isomorphic to a category defined by Bousfield and used in his work on the K(p)-local stable homotopy category [2]. We also provide an alternative characterisation of discrete modu...

We define higher Frobenius-Schur indicators for objects in linear pivotal monoidal categories. We prove that they are category invariants, and take values in the cyclotomic integers. We also define a family of natural endomorphisms of the identity endofunctor on a k-linear semisimple rigid monoidal category, which we call the Frobenius-Schur endomorphisms. For a k-linear semisimple pivotal mono...

The category of admissible (in the appropriately modified sense of representation theory of totally disconnected groups) semi-linear representations of the automorphism group of an algebraically closed extension of infinite transcendence degree of the field of algebraic complex numbers is described. Let k be a field of characteristic zero containing all ℓ-primary roots of unity for a prime ℓ, F...

The category of admissible (in an appropriately modified sense of representation theory of totally disconnected groups) semi-linear representations of the automorphism group of an algebraically closed extension of infinite transcendence degree of the field of algebraic complex numbers is described. Let k be a field of characteristic zero containing all ℓ-primary roots of unity for a prime ℓ, F ...