A new easy theorem in my draft.
Theorem
,
,
,
for every composable morphisms
,
of a category with restricted identities.
Proof
and it implies
. The rest follows easily.
Corollary
,
whenever
/
are defined.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function
A new easy theorem in my draft.
Theorem
,
,
,
for every composable morphisms
,
of a category with restricted identities.
Proof
and it implies
. The rest follows easily.
Corollary
,
whenever
/
are defined.