An Elementary Characterization of the Category of Partly Ordered Sets.
An elementary characterization of the category of relational systems
An embedding of groupoids and monomorphisms into simple groupoids
An embedding theorem for Hilbert categories.
An Equivalence of Fusion Categories.
An Exact Sequence of Braid Groups.
An example concerning set-functors
An explicit computation of “bar” homology groups of a non-unital ring.
An explicit construction for the Happel functor
An easy explicit construction is given for a full and faithful functor from the bounded derived category of modules over an associative algebra A to the stable category of the repetitive algebra of A. This construction simplifies the one given by Happel.
An exponential law for regular ordered Banach spaces
An extended comparison functor for triples
An extended view of the Chu-construction.
An extension method for t-norms on subintervals to t-norms on bounded lattices
In this paper, a construction method on a bounded lattice obtained from a given t-norm on a subinterval of the bounded lattice is presented. The supremum distributivity of the constructed t-norm by the mentioned method is investigated under some special conditions. It is shown by an example that the extended t-norm on from the t-norm on a subinterval of need not be a supremum-distributive t-norm. Moreover, some relationships between the mentioned construction method and the other construction...
An extension of Miller's version of the de Rham Theorem with any coefficients
In this paper we present an approximation to the de Rham theorem for simplicial sets with any coefficients based, using simplicial techniques, on Poincaré's lemma and q-extendability.
An imperative language based on distributive categories II
An infinite-dimensional torsion-free FP...group.
An Introduction to Adjunction
An inverse -theory functor.
An orthogonal theory of a set-valued bifunctor
An outline of non-abelian cohomology in a topos : (I) The theory of bouquets and gerbes