nLab Michael Lindgren

Selected writings

On the categorical semantics of dependent product types as relative right adjoints to context extension in comprehension categories:

category: people

Created on February 3, 2023 at 16:44:30. See the history of this page for a list of all contributions to it.