Abstract We prove a relative Lefschetz–Verdier theorem for locally acyclic objects over Noetherian base scheme. This is done by studying duals and traces in the symmetric monoidal $2$ -category of cohomological correspondences. show that local acyclicity equivalent to dualisability deduce duality preserves acyclicity. As another application category correspondences, we nearby cycle functor Hens...

The Madsen-Tillmann spectra defined by categories of threeand four-dimensional Spin manifolds have a very rich algebraic structure, whose surface is scratched here. For Michael Atiyah, in deep gratitude. 1. Cobordism categories 1.1 Many variations and generalizations are possible, but to begin, consider the topological two-category DCobord whose objects are oriented smooth closed d-manifolds (D...

The equivalence between a monoidal category and a strict one has been proved by some authors such as Nguyen Duy Thuan [8], Christian Kassel [2], Peter Schauenburg [7]. In this paper, we show another proof of the problem by constructing a strict monoidal category M(C) consisting of M -functors and M morphisms of a category C and we prove C is equivalent to it. The proof is based on a basic chara...

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are developed, the latter in terms of (strict) indexed symmetric monoidal categories with comprehension. Various optional type formers are treated in a modular way. In ...

We describe the topological Hochschild homology of ring spectra that arise as Thom spectra for loop maps f : X → BF , where BF denotes the classifying space for stable spherical fibrations. To do this, we consider symmetric monoidal models of the category of spaces over BF and corresponding strong symmetric monoidal Thom spectrum functors. Our main result identifies the topological Hochschild h...

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg–Moore category CT that represents bimorphisms. The category of actions in CT is then shown to be monadic over the base category C.

Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT subobjects, and as a result the theory seems to require us to consider all Smith ideals of all monoids simultaneously, rather then restricting to the Smith idea...

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg–Moore category CT that represents bimorphisms. The category of actions in CT is then shown to be monadic over the base category C.

This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly’s and Mac Lane’s coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail. Mathematics Subject Classification (2000): 03F05, 03F52, 18D10, 18D15, 19D23

This paper presents a symmetric monoidal and compact closed bicategory that categorifies the zx-calculus developed by Coecke and Duncan. The 1-cells in this bicategory are certain graph morphisms that correspond to the string diagrams of the zx-calculus, while the 2-cells are rewrite rules.