9.3 Reflections Flashcards by Aiden Dawes | Brainscape

Q

What is a reflection (and what is the point)

A

If i maps A to N then the following is a reflection
Allows to define computability for sets other than N

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

How to reflect a general function (A -> B)

A

Make use of two bijections (one for each set)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the commuative diagram for f: A -> B

A

(Commutative diagram highlights how to traverse between sets)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly