Synthetic Lie theory

Authors

  • M. Burke Macquarie University

Keywords:

synthetic differential geometry, lie theory, category theory, intuitionistic logic

Abstract

DOI: 10.1017/S0004972715001781

Published

2016-04-05

Issue

Section

Abstracts of PhD Theses