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.
1 to 4 of 4
Hi, correct me if wrong but when learning about the Category of Elements, I think the projection is in reality a (discrete) op-fibration instead of a fibration. Itâ€™s the outgoing morphisms from the base of the fiber that are lifted.
Ah, yes, the idea section is mixing up the category of elements of a covariant functor (which is a discrete opfibration) with that of a contravariant functor (which is a discrete fibration).
Fixed there. Did you see it anywhere else?
Thanks! No that I know of.
1 to 4 of 4