4 citations · 8 across the 4 of their papers we have counts for
4 papers · 1 filter
Constructing linear bicategories
Richard Blute, Rose Kudzman-Blais, Susan Niefield
Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategoric…
Span, Cospan, and Other Double Categories
Susan Niefield
Given a double category D such that D_0 has pushouts, we characterize oplax/lax adjunctions between D and Cospan(D_0) such that the right adjoint is normal and restricts to the ide…
The Glueing Construction and Double Categories
Susan Niefield
We introduce Artin-Wraith glueing and locally closed inclusions in double categories. Examples include locales, toposes, topological spaces, categories, and posets. With appropriat…
Exponentiability via Double Categories
Susan Niefield
We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.