Journal of Formalized Mathematics
Volume 9, 1997
University of Bialystok
Copyright (c) 1997
Association of Mizar Users
On the Categories Without Uniqueness of \bf cod and \bf dom .
Some Properties of the Morphisms and the Functors

Artur Kornilowicz

University of Bialystok
The terminology and notation used in this paper have been
introduced in the following articles
[8]
[4]
[14]
[2]
[3]
[1]
[7]
[9]
[10]
[5]
[11]
[12]
[6]
[13]

Preliminaries

Some properties of the initial and terminal objects

The properties of the functors

The subcategories of the morphisms
Bibliography
 [1]
Czeslaw Bylinski.
Binary operations.
Journal of Formalized Mathematics,
1, 1989.
 [2]
Czeslaw Bylinski.
Functions and their basic properties.
Journal of Formalized Mathematics,
1, 1989.
 [3]
Czeslaw Bylinski.
Functions from a set to a set.
Journal of Formalized Mathematics,
1, 1989.
 [4]
Czeslaw Bylinski.
Some basic properties of sets.
Journal of Formalized Mathematics,
1, 1989.
 [5]
Malgorzata Korolkiewicz.
Homomorphisms of many sorted algebras.
Journal of Formalized Mathematics,
6, 1994.
 [6]
Beata MadrasKobus.
Basic properties of objects and morphisms.
Journal of Formalized Mathematics,
9, 1997.
 [7]
Michal Muzalewski and Wojciech Skaba.
Threeargument operations and fourargument operations.
Journal of Formalized Mathematics,
2, 1990.
 [8]
Andrzej Trybulec.
Tarski Grothendieck set theory.
Journal of Formalized Mathematics,
Axiomatics, 1989.
 [9]
Andrzej Trybulec.
Manysorted sets.
Journal of Formalized Mathematics,
5, 1993.
 [10]
Andrzej Trybulec.
Many sorted algebras.
Journal of Formalized Mathematics,
6, 1994.
 [11]
Andrzej Trybulec.
Categories without uniqueness of \rm cod and \rm dom.
Journal of Formalized Mathematics,
7, 1995.
 [12]
Andrzej Trybulec.
Examples of category structures.
Journal of Formalized Mathematics,
8, 1996.
 [13]
Andrzej Trybulec.
Functors for alternative categories.
Journal of Formalized Mathematics,
8, 1996.
 [14]
Edmund Woronowicz.
Relations and their basic properties.
Journal of Formalized Mathematics,
1, 1989.
Received October 3, 1997
[
Download a postscript version,
MML identifier index,
Mizar home page]