Last night I finally wrapped my head around a definition of fibration which has been confusing me for a while. I thought I’d know how it worked until I didn’t, only to realize my confusion stemmed from the fact I was looking at two subtly different definitions which are nonetheless equivalent. This made me angry enough to write a post.
This is a companion discussion topic for the original entry at https://matteocapucci.wordpress.com/2023/02/02/grrrothendieck-fibrations/