nLab Peter O'Hearn

Selected writings

On bunched logic:

On bireflective subcategories with ambidextrous adjoints:

category: people

Last revised on May 30, 2023 at 14:59:45. See the history of this page for a list of all contributions to it.