The annotation $\text{(f.p.)}$ follows Bénabou’s $\text{(p.f.)}$ in the diagram in the proof of Proposition 2.2·a [000D] and denotes a fibered product square, i.e. a cartesian square.
The annotation $\text{(f.p.)}$ follows Bénabou’s $\text{(p.f.)}$ in the diagram in the proof of Proposition 2.2·a [000D] and denotes a fibered product square, i.e. a cartesian square.