A Functorial Construction of Fibre Bundles with a Structural Group
A matrix characterization of the maximal groups in
A tensor product for Gray-categories.
Associativity in monoids and categories
Catégories à sommes commutables
Deductive systems and categories.
Effective taxonomies and crossed taxonomies
Eine Erweiterung der NGB-Mengenlehre als Grundlage der Kategorientheorie
Étude élémentaire des catégories
Exponentiability in categories of lax algebras. (Dedicated to Nico Pumplün on the occasion of his seventieth birthday).
Exponential Objects
In the first part of this article we formalize the concepts of terminal and initial object, categorical product [4] and natural transformation within a free-object category [1]. In particular, we show that this definition of natural transformation is equivalent to the standard definition [13]. Then we introduce the exponential object using its universal property and we show the isomorphism between the exponential object of categories and the functor category [12].
-quasi-Frobenius Lie algebras
A Lie version of Turaev’s -Frobenius algebras from 2-dimensional homotopy quantum field theory is proposed. The foundation for this Lie version is a structure we call a -quasi-Frobenius Lie algebra for a finite dimensional Lie algebra. The latter consists of a quasi-Frobenius Lie algebra together with a left -module structure which acts on via derivations and for which is -invariant. Geometrically, -quasi-Frobenius Lie algebras are the Lie algebra structures associated to symplectic...
Models of sketches
Object-Free Definition of Categories
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two properties:...
On concrete categories [Book]
On equalizers in generalized algebraic categories
On ideals and homology in additive categories.
On invariant multiplications in a category
On the -valued categories of --ordered sets
The aim of this paper is to construct an -valued category whose objects are --ordered sets. To reach the goal, first, we construct a category whose objects are --ordered sets and morphisms are order-preserving mappings (in a fuzzy sense). For the morphisms of the category we define the degree to which each morphism is an order-preserving mapping and as a result we obtain an -valued category. Further we investigate the properties of this category, namely, we observe some special objects, special...
One obstruction for closedness