


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 wellknown 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 coinductiveinductive sets. I shall then describe the category and indicate how it may be used to give an explanation of Choice Sequences.

Date: 
20180123

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>










