Internalizations of decorated bicategories via π -indexingsDocumentoInternalizations of decorated bicategories via π -indexingsAdicionado por amalsalgoda0 notas0% acharam este documento útilSalve Internalizations of decorated bicategories via π -indexings para mais tarde