Internalizations of decorated bicategories via _2-indexings

From MaRDI portal
Publication:6580474