Nicola Gambino is associate professor of mathematics at Manchester.
On inductive types in homotopy type theory via homotopy-initial algebras over an endofunctor:
Steve Awodey, Nicola Gambino, Kristina Sojakova, Inductive types in homotopy type theory, LICS’12: (2012) 95–104 [arXiv:1201.3898, doi:10.1109/LICS.2012.21, Coq code]
Exposition:
Steve Awodey, Inductive types in HoTT (Jan 2012) [blog post]
and analogously on higher inductive types:
On the constructive model structure on simplicial sets:
On Kripke-Joyal semantics and forcing in homotopy type theory:
Including discussion of enriched profunctors\ bimodules, in the context of operads and analytic functors:
Memoirs of the American Mathematical Society, 249 (1184), 2017, (v) + 110pp. Arxiv preprint: 1405.7270 DOI:10.1090/memo/1184
From the AMS website: The authors develop further the theory of operads and analytic functors. In particular, they introduce the bicategory OpdBim of operad bimodules, that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that it is cartesian closed. In order to obtain this result, the authors extend the theory of distributors and the formal theory of monads.
Last revised on September 11, 2024 at 06:02:19. See the history of this page for a list of all contributions to it.