Re: Fibrewise opposite fibration

If we work with split fibrations and arbitrary cartesian functors between them we can construct the opposite of a fibration without quotienting. That is possible but in my eyes less elegant than the usual approach where one assumes that one can factorize modulo equivalence relations even if they are big. Thomas ---------- You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27