#
nLab
Author — David Jaz Myers

### Overview

David Jaz Myers has contributed to 10 nLab pages.

### Most recent contributions

Hahn-Banach theorem |
18:40:02, September 20 2021 |

lens (in computer science) |
14:54:41, September 05 2021 |

modality |
01:22:40, December 08 2020 |

mathematics presented in homotopy type theory |
00:40:03, December 08 2020 |

logical topology |
00:27:10, November 10 2020 |

formal smooth infinity-groupoid |
20:42:59, February 03 2020 |

Bousfield–Kan spectral sequence |
19:56:50, February 03 2020 |

David Jaz Myers |
13:54:06, March 16 2019 |

bounded geometric morphism |
11:35:51, July 02 2018 |

category of G-sets |
20:18:35, January 17 2018 |

### All pages contributed to