New Mizar articles

[Library Committee <mml@mizar.uw.bialystok.pl>]

Artur Kornilowicz submitted an article entitled:
      "The Composition of Functors and Transformations in Alternative
         Categories"
        (MML identifier: FUNCTOR3)

Robert Milewski submitted an article entitled:
      "Completely-Irreducible Elements"
        (MML identifier: WAYBEL16)

Adam Grabowski submitted an article entitled:
      "Scott-Continuous Functions"
        (MML identifier: WAYBEL17)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:

 http://mizar.org/JFM/Preprints.html

Adam Grabowski
Library Committee of the Association of Mizar Users