HomeIsabelle/Phabricator

New material on equivalence of bicategories, with associated changes.

Description

New material on equivalence of bicategories, with associated changes.

Details

Provenance
"Eugene W. Stark <stark@cs.stonybrook.edu>"Authored on
Parents
rAFP88b8151dff90: updated to new Leftist_Heap
Branches
Unknown
Tags
Unknown