Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
In discrete fibration I added a new section on the Street’s definition of a discrete fibration from $A$ to $B$, that is the version for spans of internal categories. I do not really understand this added definition, so if somebody has comments or further clarifications…
The extra condition just means that the actions of A and B on the fibers of C commute with each other up to isomorphism.
I changed the commutative diagram for discrete fibration. The previous one was for a discrete opfibration. (I changed $d_0$ do $d_1$).
I went and undid that, since it should be $d_0$. Sorry- was mixing up $d_0$ and $d_1$ in my head, thinking $d_1$ was “target”.
David. been there done that, perhaps someone should produce a T-shirt! ;-)
1 to 6 of 6