Prefer a chat interface with context about you and your work?
Duality in non-abelian algebra II. From Isbell bicategories to Grandis exact categories