Afternoon talk / Part 1
Recorded at Foundations of Mathematics Workshop, Bristol (2009), featuring FW Lawvere, Others. From the Michael Wright Collection, held by the Archive Trust for Research in Mathematical Sciences & Philosophy.
- Identifier
mw0000310-cc-b_p- Format
- Audio recording
- Collection
- Michael Wright Collection
- Repository
- Archive Trust for Research in Mathematical Sciences & Philosophy
- Rights
- Made available for personal scholarly use. Rights in recordings are generally held by the speakers or their estates. If you believe this recording infringes your rights, please contact [email protected].
Read the automatically generated transcript
This transcript was generated by speech-recognition software from an archival recording and has not been hand-corrected. It will contain recognition errors — particularly for proper names and technical terminology — so please verify against the audio before quoting. Timestamps play the recording from that moment.
0:00 All right, yeah, yeah, yeah, that's it. Simple way to do it. The way to look at it is to not repeat that one. If you think of a graph, it's a particular one. It's called an arrow. It's a figure. It reflects a graph that just consists of the, of the decomposable part. But because in the decomposition of all the components, you don't get that one. It's not one of them, right? No, I get it. Or get the C's, the category, the QC, the QI graph, the propositions on all QC's and the free category on C's.
2:30 On the underlying graph of N, that's what's bigger than N. Yeah, because the canonical function from the free category to the given category tells you what it is that N is given.
5:00 What does the decomposition have? Is that just a value? Yeah, exactly. So there's no monomorphicity. It's the same kind of thing as anything we think. Oh, yeah. I'll give you an advice. It should be easier to find zeta times z, because zeta is just all 1, so it's not consistent with the last thing that that is, something that we've been talking about.
7:30 And so, to sum up 1, I'd like to put it this way, that if you move by the other way, there's something different. But the number might turn out to be the same. Not the same tree. More of it, but that's going to turn it into OS. ES is the same as SO. The last part, four different kinds of e-computers.
10:00 And of course, as you say, you can move one into the other. Why do you know if that's the end point? So moving the one into the other seems to take, in general, four possible products. Theta, Theta, O, O... Did they say anything interesting? Not really, no. They were just wondering, you know, what they did about, whether they'd do anything about multiplication.
12:30 It doesn't, it doesn't really elaborate. In other words, the story of the medieval renaissance, a huge thing to touch the university subject. Multiplication, you had to go to Tredyzo, to a special university for post-graduate studies. Yeah, and these were serious people, right? Yeah. Yeah, we made some progress. Ah, these two sums are the same, right. Okay, good. It appears we collaborated with the amount of evidence. As late as that. Well, except they say that it was in use. Well, Bob Walters knows more about this. He said he has a book of fashions and stuff. So there's this relation between the work on mathematics and mathematics. So there's this relation between the work on mathematics and mathematics. So there's this relation between the work on mathematics and mathematics. So there's this relation between the work on mathematics and mathematics. So it seems that he and...
15:00 I was saying that the same mu is probably the virtual inverse on both sides. Does that show anything? No, no, it doesn't show anything. It shows that the universe can't be that fast. Triple products seem to come up there with mu on the left side. That's the theory. Is it that same thing with the graphic moonlight? It disappeared, at least, at least it appeared somehow.
17:30 There's no hope for mathematics in here. But calculations and objective numbers are there, but they're there as well. You get a good equation with an infinite area term, but the infinite area term is not, you know, that doesn't mean the relation is always trivial, it just means that the computers have to put it off until the next century to worry about it, so up till then, it's all right. Are there specific examples of, the Burnside Reg of a pre-extensive category is a key construction, but some examples of pre-extensive categories are those that are freely generated by... Domain theory, not necessarily domain theory in its precise sense of being as God, but just some category.
20:00 A bird's-eye bird, Andreas Dress, a bird's-eye of a group, and then passed immediately to the bird's-eye, passing the general translation of the category. In the case of the loop actions, the rig is already a cancellation. It embeds in the loss of the class, but in general, even the...
22:30 Third-side equations include some categories to go back and say, if it has that property, the two objects that are isomorphic, isomorphic, if and only if they have the same origin, they can be quantified and measured in some kinds of tests.
25:00 Here's a specific example. If you take words with you, technically, you're going to have to practice computer science and stuff. You have a word in words, and all of that has disappeared from the equation.
27:30 That's an isomorphic number three, the type, the data type. There is a problem that we are not in a ring, yet a rig.
30:00 Part of the thing, I mean, six groups literally say six power equals one. If you go back to the actual category, you can't have six power components. One is just two specials. Yeah. Likewise, you can't sum equal to zero. And what you do have is you take it from the center and you state it. That's remarkable. That's two different calculations, or it seems to be two different calculations. If you're in a classroom and you test for an isomorphism and apply a functor to it, you'll have an isomorphism. You can deduce equations just like an isomorphism by substituting equals from equals into a functor. This means giving an isomorphism to a tree. So in that way, without ever introducing a baby, there would be seven of the tree's isomorphisms, seven doubles of the tree's.
Transcript not yet available for this recording.