Bilimits are bifinal objects

From MaRDI portal
Publication:2154269