[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.15039958 [View]
File: 172 KB, 984x974, __remilia_scarlet_izayoi_sakuya_shameimaru_aya_and_kijin_seija_touhou_and_1_more_drawn_by_farrel_kb__374b58b5ff176191bec2912d9e1ccef6.png [View same] [iqdb] [saucenao] [google]
15039958

>>15039943
>Is this fine?
Yes.
>i don't see an obvious way to come up with one
Assume [math]F(A) = F(B)[/math] where [math]A \neq B[/math]. Then [math]F(id_{A}) = id_{F(A)} = id_{F(B)} = F(id_{B})[/math], which contradicts [math]F[/math]'s injectivity on morphisms.
The faithful part is trivial.

Navigation
View posts[+24][+48][+96]