Pullback of a Displayed Category

References

https://1lab.dev/Cat.Displayed.Instances.Pullback.html#pullback-of-a-displayed-category

Backlinks

Fibration of Signatures

Displayed Category of Functor Dialgebras

Family Fibration of a Fibration

Multi-Sorted Finitary Signature