|
[Oct. 2nd, 2013|09:23 am]
Jason
|
Interesting paper from Noam and Paul-André. The technical condition about cartesian morphisms in the definition of a fibration of categories always felt really unmotivated to me --- although I know it is motivated, at least by wanting to get the desired correspondence between fibrations E → B and functors B → Cat, it always feels awfully technical --- but the refinement-type-theory reading in this paper seems kinda nice. |
|
