equal
deleted
inserted
replaced
1 |
1 |
2 ====== big ====== |
2 ====== big ====== |
3 |
3 |
4 * reconcile splittability with A-inf/familaies of maps examples |
4 * reconcile splittability with A-inf/families of maps examples |
5 |
5 |
6 * better discussion of systems of fields from disk-like n-cats |
6 * better discussion of systems of fields from disk-like n-cats |
7 ** splittability axiom for fields |
7 ** splittability axiom for fields |
8 ** topology on fields, topology on morphisms (used in construction of BT) |
8 ** topology on fields, topology on morphisms (used in construction of BT) |
9 |
9 |