My homepage | My math page | My math news (old archive, old archive in RSS) | Donate for the research
2005-07-29 16:47
Algebraic Theory of Formulas article updated.
The Algebraic Theory of Formulas online article (draft) updated. Main changes concern the objects and classes and category theory sections of the article.
Category of objects and classes is now called the category of dependencies. (This is a very important category for all fields of mathematics. It may become even the future generalization of category theory.)
It is yet unproved that monomorphisms, epimorphisms, and isomorphisms of dependencies are monomorphisms, epimorphisms, and isomorphisms in the sense of category theory, but there are advances; I hope to prove this soon.
Use this RSS channel to be notified about the discoveries.
Related categories:
Keywords: category theory, theory of categories, morphisms, theory of expressions, theory of formulas, expressions theory, formulas theory, online math article, online article, 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).