Abstract:We introduce a bicategorical model of linear logic which is a novel variation of the bicategory of groupoids, profunctors, and natural transformations. Our model is obtained by endowing groupoids with additional structure, called a kit, to stabilize the profunctors by controlling the freeness of the groupoid action on profunctor elements. The theory of generalized species of structures, based on profunctors, is refined to a new theory of \emph{stable species} of structures between groupoids with Boolean kits. Generalized species are in correspondence with analytic functors between presheaf categories; in our refined model, stable species are shown to be in correspondence with restrictions of analytic functors, which we characterize as being stable, to full subcategories of stabilized presheaves. Our motivating example is the class of finitary polynomial functors between categories of indexed sets, also known as normal functors, that arises from kits enforcing free actions. We show that the bicategory of groupoids with Boolean kits, stable species, and natural transformations is cartesian closed. This makes essential use of the logical structure of Boolean kits and explains the well-known failure of cartesian closure for the bicategory of finitary polynomial functors between categories of set-indexed families and cartesian natural transformations. The paper additionally develops the model of classical linear logic underlying the cartesian closed structure and clarifies the connection to stable domain theory.

Stable components of directed spaces

Complexes of stable $\infty$-categories

The Moduli Space of Regular Stable Maps

Topological structure of spaces of stability conditions and topological Fukaya type categories

Towards a theory of natural directed paths

Natural homotopy of multipointed d-spaces

The Disc-structure space

Stabilized profunctors and stable species of structures

The topology of critical processes, II (The fundamental category)

Persistent homology of partially ordered spaces

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Spaces of Bridgeland stability conditions in representation theory

A notion of homotopy for directed graphs and their flag complexes

Geometric classification of total stability spaces

On topological motives

Pseudo-Böttcher components of the wandering set of inner mappings

Stable Frames in Model Categories

Categorically Proper Homomorphisms of Topological Groups.

Stabilisation, scanning and handle cancellation

An open-closed cobordism category with background space