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

Coproducts in Categories without Uniqueness of cod and dom

Formalized Mathematics
Volume 21 (2013): Issue 4 (December 2013)
By: Maciej Golinski and  Artur Korniłowicz  
Open Access
|Dec 2013

References

  1. [1] Grzegorz Bancerek. K¨onig’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] Artur Korniłowicz. Products in categories without uniqueness of cod and dom. Formalized Mathematics, 20(4):303-307, 2012. doi:10.2478/v10037-012-0036-7.10.2478/v10037-012-0036-7
    Search in Google Scholar
  7. [7] Beata Madras. Basic properties of objects and morphisms. Formalized Mathematics, 6 (3):329-334, 1997.
    Search in Google Scholar
  8. [8] Beata Perkowska. Free many sorted universal algebra. Formalized Mathematics, 5(1): 67-74, 1996.
    Search in Google Scholar
  9. [9] 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
  10. [10] Andrzej Trybulec. Categories without uniqueness of cod and dom. Formalized Mathematics, 5(2):259-267, 1996.
    Search in Google Scholar
  11. [11] Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329-334, 1990.
    Search in Google Scholar
  12. [12] Andrzej Trybulec. Many sorted sets. Formalized Mathematics, 4(1):15-22, 1993.
    Search in Google Scholar
  13. [13] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  14. [14] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/forma-2013-0025 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 235 - 239
Submitted on: Dec 8, 2013
|
Published on: Dec 27, 2013
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
coproducts,
disjoined union
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2013 Maciej Golinski, Artur Korniłowicz, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Volume 21 (2013): Issue 4 (December 2013)Next article