Have a personal or library account? Click to login
Products in Categories without Uniqueness of cod and dom Cover

Products in Categories without Uniqueness of cod and dom

Formalized Mathematics
Volume 20 (2012): Issue 4 (December 2012)
By: Artur Korniłowicz  
Open Access
|Feb 2013

References

  1. [1] Grzegorz Bancerek. König’s theorem. Formalized Mathematics, 1(3):589-593, 1990.
    Search in Google Scholar
  2. [2] Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    Search in Google Scholar
  3. [3] Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    Search in Google Scholar
  4. [4] Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.
    Search in Google Scholar
  5. [5] Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    Search in Google Scholar
  6. [6] Beata Madras. Basic properties of objects and morphisms. Formalized Mathematics, 6(3):329-334, 1997.
    Search in Google Scholar
  7. [7] Zbigniew Semadeni and Antoni Wiweger. Wst¸ep do teorii kategorii i funktorów, volume 45 of Biblioteka Matematyczna. PWN, Warszawa, 1978.
    Search in Google Scholar
  8. [8] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329-334, 1990.
    Search in Google Scholar
  9. [9] Andrzej Trybulec. Many sorted sets. Formalized Mathematics, 4(1):15-22, 1993.
    Search in Google Scholar
  10. [10] Andrzej Trybulec. Categories without uniqueness of cod and dom. Formalized Mathematics, 5(2):259-267, 1996.
    Search in Google Scholar
  11. [11] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  12. [12] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-012-0036-7 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 303 - 307
Published on: Feb 2, 2013
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2013 Artur Korniłowicz, published by University of Białystok
This work is licensed under the Creative Commons License.

Previous articleVolume 20 (2012): Issue 4 (December 2012)Next article