initiality Lutz Schröder, Horst Herrlich Abstract. We study morphisms that are initial w.r.t. all functors in a given conglomerate. Several results and counterexamples are obtained concerning the relation of such properties to different notions of subobject. E.g., strong monomorphisms are initial w.r.t. all faithful adjoint functors, but not necessarily w.r.t. all faithful monomorphism-preservi...

In this paper, I give several characterizations of rational biset functors over p-groups, which are independent of the knowledge of genetic bases for p-groups. I also introduce a construction of new biset functors from known ones, which is similar to the Yoneda construction for representable functors, and to the Dress construction for Mackey functors, and I show that this construction preserves...

Following E. Kirchberg, [3], we call a bifunctor (A,B) → A⊗α B a C -algebraic tensor product functor if it is obtained by completing of the algebraic tensor product A ⊙ B of C-algebras in a functional way with respect to a suitable C-norm ‖ · ‖α. We call such a functor symmetric if the standard isomorphism A ⊙ B ∼= B ⊙ A extends to an isomorphism A⊗αB ∼= B⊗αA. Similarly, we call it associative ...

This thesis presents Topological Domain Theory as a powerful and flexible framework for denotational semantics. Topological Domain Theory models a wide range of type constructions and can interpret many computational features. Furthermore, it has close connections to established frameworks for denotational semantics, as well as to well-studied mathematical theories, such as topology and computa...

Functors which are determined, up to natural isomorphism, by their values on objects, are called DVO (Defined by Values on Objects). We focus on the collection of polynomial functors on a category of sets (classes), and we give a characterization theorem of the DVO functors over such collection of functors. Moreover, we show that the (κ-bounded) powerset functor is not DVO.

we find a criterion for a morphism of coalgebras over a barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...

In this paper we define functors between the Elias-Khovanov diagrammatic version of the Soergel category SC defined in [3] and the categories of universal sl(2) and sl(3)-foams defined in [2] and [7]. The Soergel category provides a categorification of the Hecke algebra and was used by Khovanov in [5] to construct a triply graded link homology categorifying the HOMFLYPT polynomial. Elias and Kh...

We define natural A∞-transformations and construct A∞-category of A∞-functors. The notion of non-strict units in an A∞-category is introduced. The 2-category of (unital) A∞-categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta63, II] Sta...

We present a higher-order module discipline with separate compilation and concurrent dynamic linking. Based on first-order modules one can program security policies for systems that link modules from untrusted locations (e.g., Java). We introduce a pickling operation that writes persistent clones of volatile, possibly higher-order data structures on the file system. Our pickling operation respe...