Limits and colimits of convexity spaces
Limits in categories and limit-preserving functors
Linear programming duality and morphisms
In this paper we investigate a class of problems permitting a good characterisation from the point of view of morphisms of oriented matroids. We prove several morphism-duality theorems for oriented matroids. These generalize LP-duality (in form of Farkas' Lemma) and Minty's Painting Lemma. Moreover, we characterize all morphism duality theorems, thus proving the essential unicity of Farkas' Lemma. This research helped to isolate perhaps the most natural definition of strong maps for oriented matroids....
Linking the closure and orthogonality properties of perfect morphisms in a category
We define perfect morphisms to be those which are the pullback of their image under a given endofunctor. The interplay of these morphisms with other generalisations of perfect maps is investigated. In particular, closure operator theory is used to link closure and orthogonality properties of such morphisms. A number of detailed examples are given.
Local analytic rings
Local enrichments of categories
Local semigroups
Localic groups
Locally injective -sheaves of abelian groups
Logique, catégories et faisceaux
Logique de la géométrie algébrique
Łukasiewicz tribes are absolutely sequentially closed bold algebras
We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean -algebra) can be uniquely extended to a sequentially continuous measure on the generated Łukasiewicz tribe and, in a natural way, the extension is maximal. We prove that for normed measures on Łukasiewicz tribes monotone (sequential) continuity implies sequential continuity, hence the assumption of sequential continuity is not restrictive. This yields...
Meet-preserving free functors
Minimal finite models.
Minimal realizations for finite sets in categorial automata theory
Minimal Topological Algebras.
Mittelwertstrukturen.
Model theoretic approach to concrete categories
Models of differential algebra in the context of synthetic differential geometry
Model-theoretic characterisations of convenience properties in topological categories