My homepage | My math page | My math news (old archive, old archive in RSS) | Donate for the research
2005-07-30 12:00
Main theorem about category of dependencies proved!
Dependencies are multidimensional relations with two special variables X and Y. Dependencies form a very important fundamental category (missing in known to me category theory textbooks).
The theorem successfully proved today claims that dependency isomorphisms, monomorphisms, and epimorphisms are the isomorphisms, monomorphisms, and epimorphisms in the category of dependencies.
See online texts.
So a new fundamental category was succesfully researched. (However there are yet many interesting things to investigate about this category and related categories.)
Related categories:
Keywords: category theory, theory of categories, morphisms, math, mathematics, math news, mathematical news, mathematics, math, mathematicians, science news, computer science, informatics, science
News listing generated with Rich RSS2HTML TM 0.2.1 (original).