Your SlideShare is downloading. ×
0
定理3
定理3
定理3
定理3
定理3
定理3
定理3
定理3
定理3
定理3
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

定理3

508

Published on

書籍「層・圏・トポス」内の定理の証明。

書籍「層・圏・トポス」内の定理の証明。

Published in: Education, Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
508
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide










  • Transcript

    • 1. P53 3 f' g' f g pullback g mono f' mono f' g' f g
    • 2. 3 (1) f' mono f'○k1 = f'○k2 k1 k2 k1 f' k2 g' f g
    • 3. 3 (2) k1 f'○k1 g'○k2 f'○k1 ○○ ○○ ○ ○ f' g'○k1 ○○ g' f g
    • 4. 3 (3) pullback e f'○k1 e g'○e = g'○k1 f' g'○k1 f'○e = f'○k1 g' f g
    • 5. 3 (4) k1 (3) e f'○k1 e k1 k1 f' g'○k1 = g'○k1 g'○k1 g' f f'○k1 = f'○k1 g
    • 6. 3 (5) k2 (3) e f'○k1 e k2 k2 f' g'○k2 = g'○k1 g'○k1 g' f f'○k2 = f'○k1 g
    • 7. 3 (6) f'○k2 = f'○k1 k1 k2 k1 f' ((1) ) k2 g' f g
    • 8. 3 (7) g mono ○ ○ ○ ○ ○ ○ ○ ○ f'○k1 ○ ○ ○ ○ g'○k1 ○ ○ f' ○ ○ g'○k2 g' f mono g g'○k1 = g'○k2 ∴
    • 9. 3 (8) k2 (3) e f'○k1 e k1,k2 f' k1 = k2 g'○k1 g' f g
    • 10. 3 (9) k1 k2 f'○k1 = f'○k2 k1 = k2 f' mono k1 f' Q.E.D. k2 g' f g

    ×