Jürgen Koslowski

Learn More
Basic results are obtained concerning Galois connections between collections of closure operators (of various types) and collections consisting of subclasses of (pairs of) morphisms in M for an hE; Mi-category X. In eeect, the \lattice" of closure operators on M is shown to be equivalent to the xed point lattice of the polarity induced by the orthogonality(More)
We provide the rudiments of the theory of Galois connections (or residuation theory, as it is sometimes called) together with many examples and applications. Galois connections occur in profusion and are well-known to most mathematicians who deal with order theory; they seem to be less known to topologists. However, because of their ubiquity and simplicity,(More)
Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative(More)
Linear bicategories are a generalization of ordinary bicategories in which there are two horizontal (1-cell) compositions corresponding to the " tensor " and " par " of linear logic. Benabou's notion of a morphism (lax 2-functor) of bicategories may be generalized to linear bicategories, where they are called linear functors. Unfortunately, as for the(More)