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 8910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 8th, 2026 08:22 pm
Powered by Dreamwidth Studios