The category of Brouwer operations: a basis for an understanding of choice sequences
 
 
Description:  Intuitionism as first proposed by the Dutch mathematician L. E. J. Brouwer involved not simply the well-known refusal of the law of the excluded middle but a notion, that of free choice sequence which is prima facie incompatible with classical mathematics. The theory of choice sequences uses what are called Brouwer Operations: these code continuous functions on Baire space. Brouwer Operations give rise to a curious symmetric monoidal category. I shall present Brouwer Operations as elements in coinductive-inductive sets. I shall then describe the category and indicate how it may be used to give an explanation of Choice Sequences.
Date:  2018-01-23
Start Time:   15:00
Speaker:  Martin Hyland (Univ. of Cambridge, UK)
Institution:  Univ. of Cambridge, UK
Place:  Room 5.5
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support