Timeline for Large "internal" categories and "finite" products
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5 at 13:56 | comment | added | Simon Henry | Oh I see, that make sense too. | |
| Nov 4 at 22:27 | comment | added | Zhen Lin | I think $\mathbb{E}'$ is supposed to be $\mathbb{F}\textrm{am} (\mathbb{E})$, so the fibre over $1$ is the total category $\mathbb{E}$ etc. | |
| Nov 4 at 20:00 | comment | added | Simon Henry | Should $\mathbb{E}'$ be $\mathbb{E}^X$, defined by the fact that its fiber over $I$ is the fiber over $I \times X$ for $\mathbb{E}$ (for $X$ some fixed object of the topos) | |
| Nov 4 at 19:57 | comment | added | Simon Henry | That is very interesting, I need to think about it a little more, but that does look promising. | |
| Nov 4 at 18:49 | history | answered | Jem | CC BY-SA 4.0 |