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

March 2026

S M T W T F S
1 2 34 5 67
8 9 101112 13 14
15 161718192021
22232425262728
293031    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Mar. 17th, 2026 10:38 pm
Powered by Dreamwidth Studios