timelets: (Default)
[personal profile] timelets
Let's create a slice category constructed like this:

f1: iPhone1 -> iPhone
f2: iPhone 2 -> iPhone
...
fn: iPhone n -> iPhone

g1: f1 -> f2
g2: f2-> f3
...

Then, there should be a pullback category A, so that

f1': A -> iPhone1
f2': A -> iPhone2
...
fn': A -> iPhone n

What would it be?

Profile

timelets: (Default)
timelets

January 2026

S M T W T F S
     1 2 3
4 5 67 8 9 10
1112 13 14 15 16 17
18 19 20 21 2223 24
25 26 27 28 293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 31st, 2026 04:29 pm
Powered by Dreamwidth Studios