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

June 2025

S M T W T F S
123456 7
8 9 1011 1213 14
15 1617 18192021
22232425262728
2930     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 18th, 2025 08:18 pm
Powered by Dreamwidth Studios