• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
定理3
 

定理3

on

  • 817 views

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

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

Statistics

Views

Total Views
817
Views on SlideShare
817
Embed Views
0

Actions

Likes
0
Downloads
1
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Apple Keynote

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment
  • <br />
  • <br />
  • <br />
  • <br />
  • <br />
  • <br />
  • <br />
  • <br />
  • <br />
  • <br />

定理3 定理3 Presentation Transcript

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