Pre- dinner conversations: FW Lawvere, S Awodey, J-P Marquis & M Wright

0:00 The first character, as far as I know, to the German general, was a fashion arithmetician of the 18th century, the late 18th century, rather than the contemporary class, who had a general combinatorial bias. Unfortunately, I wasn't able to follow his class, but he anticipated several ideas when both were rediscovered independently by his father. What was the first one of the afternoon? The first one of the afternoon was the evaluation. Oh, well, I mean, the first of the... Oh, I didn't know that. Oh, I understand. You knew better. I wish I had known that. Well, let's have a conversation. Yes, sir. I really appreciate it. What? He gave a paper yesterday. The same guy? Same guy. What? That guy got to give two talks? Well, you know... I know this guy, so I knew what to expect. Great show. Thank you. Thank you. Thank you. Thank you. Thank you. This guy gave the talk with the same name and title but a different guy. The talk was announced with that title by a different person. Yeah, and that person cancelled, so this guy said, I'll give a talk by that title. This was his second talk of the country? Yeah. I think if they were going to choose someone to give two talks, he wouldn't be the one. I don't know what to do. They warned me not to go. Well, I have met him once at a philosophy conference in England, in Leeds, and I know the guy who was his PhD supervisor at Leeds, a guy from France, who worked maybe on, say, this guy Bueno was a people of his.

2:30 Oh, it's not here. That's the place. Oh, I know. Okay, well I didn't go to the talk so I didn't know that he was going to listen to me, okay, but I wouldn't have gone to hear him either. Okay, so, different person, this is getting like, the places Shakespeare wrote about didn't have the same name. Okay, he gave a talk with that kind of audience. Oh, I see. I still don't understand the definition of the basic. You know, the basic notion of evaluation is still not clear to me what the, what is the definition of evaluation, but the intro, the basic, you know, the basic, you know, the basic, you know, the basic, you know, And then later, it turns out, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else, there's something else,

10:00 It's too good, it's too good, it's too good not to be true. And of course it is not, it's because it's not true. So they're the last people that can play. I think I may have seen this book, it's not really... When you talk about divisibility, you see, he did have, you know, within the instrument's algebra, it only depended on the quotient.

22:30 But he had, he didn't really have any... He didn't have any way to deal with that. He had to deal with it. But he never thought of it as, in fact, another incidental script, but at the time it was a normal thing. ...posed that to the moment I think that's what I think our friend... Absolutely, because he's having to try and recover the functoriality of this ideal which he gets... There's a condition, you see, on the functor that it should induce. But you know what...