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 to , 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 do ).
I went and undid that, since it should be . Sorry- was mixing up and in my head, thinking was “target”.
David. been there done that, perhaps someone should produce a T-shirt! ;-)
Thanks for adding references!
I am copying every reference also to all its author-pages, now for example here.
added pointer to:
1 to 13 of 13