New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Grzegorz Bancerek submitted an article entitled:
      "Categorial Background for Duality Theory"
        (MML identifier: YELLOW21)
 
Grzegorz Bancerek and Artur Kornilowicz submitted an article entitled:
      "Yet another construction of free algebra"
        (MML identifier: MSAFREE3)
 
Grzegorz Bancerek submitted an article entitled:
      "Duality Based on Galois Connection. Part I"
        (MML identifier: WAYBEL34)
 
Robert Milewski submitted an article entitled:
      "Upper and Lower Sequence of a Cage"
        (MML identifier: JORDAN1E)

Barbara Dzienis submitted an article entitled:
      "On polynomials with coefficients in a ring of polynomials"
        (MML identifier: POLYNOM6)
 
Adam Naumowicz submitted an article entitled:
      "On Cosets in Segre's Product of Partial Linear Spaces"
        (MML identifier: PENCIL_2)
 
to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.uwb.edu.pl/JFM/Preprints.html
 
------------

Library Committee of the Association of Mizar Users