|
|
|
|
|
|
by mathgradthrow
840 days ago
|
|
|
Well the thing I chose to replace the thing with is actually isomorphic (type equivalent) to the thing I replaced. So that's quite a bit more constrained than "replacing anything with anything". Not only are the arrows the only thing that matters, but its cleaner to suppose that they're the only thing there is. |
|
|