Kitabın içinden
44 sonuçtan 1-3 arası sonuçlar
Sayfa 961
Isomorphism axiom . A morphism f : A — B in C is an isomorphism if and only if
dia ; ( f ) is an isomorphism in Hom ( I , Co ) . In other words , it is an isomorphism
if and only if fr : Ax — Bx is an isomorphism for all x E I . Disjoint union axiom .
Isomorphism axiom . A morphism f : A — B in C is an isomorphism if and only if
dia ; ( f ) is an isomorphism in Hom ( I , Co ) . In other words , it is an isomorphism
if and only if fr : Ax — Bx is an isomorphism for all x E I . Disjoint union axiom .
Sayfa 970
Let B , denote the full subcategory of B , consisting of the objects X e B , such that
the X ( i , i ) , 1 < i < n , are isomorphic to zero . We claim that f * and g * are
mutually inverse equivalences between Ban - 1 and B1 . Indeed , f * A EB , for
any A e ...
Let B , denote the full subcategory of B , consisting of the objects X e B , such that
the X ( i , i ) , 1 < i < n , are isomorphic to zero . We claim that f * and g * are
mutually inverse equivalences between Ban - 1 and B1 . Indeed , f * A EB , for
any A e ...
Sayfa 979
Then B ( 0 , 0 ) = B ( 1 , 0 ) = 1 , and B ( 0 , 1 ) is an isomorphism by assumption . It
follows that i * B is an isomorphism . ... The upper arrow is an isomorphism . The
vertical maps are isomorphisms , because both B and içi * B are co - Cartesian .
Then B ( 0 , 0 ) = B ( 1 , 0 ) = 1 , and B ( 0 , 1 ) is an isomorphism by assumption . It
follows that i * B is an isomorphism . ... The upper arrow is an isomorphism . The
vertical maps are isomorphisms , because both B and içi * B are co - Cartesian .
Kullanıcılar ne diyor? - Eleştiri yazın
Her zamanki yerlerde hiçbir eleştiri bulamadık.
İçindekiler
Asekritova and N Kruglyak Interpolation of Besov spaces in the nondiagonal | 511 |
N Belousov and A A Makhnev On edgeregular graphs with k 361 3 | 517 |
Generalov and N Yu Kosovskaya Hochschild cohomology of the Liu | 539 |
Telif Hakkı | |
16 diğer bölüm gösterilmiyor
Diğer baskılar - Tümünü görüntüle
Sık kullanılan terimler ve kelime öbekleri
adjacent algebra apply approximation assume assumptions of Theorem bounded braid BSu2 called closed coefficients commutative complex consider constant constructed contains continuous convergence Corollary corrector corresponding cycle defined definition denote depends dérivateur diagram categories domain elements equal equation equivalent estimate exact example exists extension fact factorization field finite following result formula function functor given graph Hence homotopy ideal implies inequality integral invariant isomorphism lattice Lemma Math Mathematical matrix means module morphism multiplication natural norm Note object obtain operator pair parameters periodic polynomial positive problem Proof Proposition proved reduces refinable relations Remark respectively ring satisfies scheme sequence similar smooth solution space square statement Subsection subspace suffices Suppose symbol symmetric takes theory twisted values vector vertex vertices zero