Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Oct. 2nd, 2013|09:23 am]
[Tags|, , ]

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 EB and functors BCat, it always feels awfully technical --- but the refinement-type-theory reading in this paper seems kinda nice.

[User Picture]From: fancybred
2013-10-04 08:07 am (UTC)
if you have any comments/questions/suggestions, I'd love to hear them!
(Reply) (Thread)