It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.3K
- Chat 500
- Study Groups 19
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 68
- Azimuth Code Project 110
- Statistical methods 4
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 713

Options

## Comments

Welcome, Ignacio! What sort of math did you do your Ph.D. on?

My lectures are meant to be very easy: no hard proofs, lots of examples, lots of explanation of key ideas. I suggest starting with Lecture 1 and moving on, using the "Syllabus" link at the top of this page.

We've been talking about preorders, which are categories with at most one morphism from one object to another. Today is my second lecture on categories.

`Welcome, Ignacio! What sort of math did you do your Ph.D. on? My lectures are meant to be very easy: no hard proofs, lots of examples, lots of explanation of key ideas. I suggest starting with Lecture 1 and moving on, using the "Syllabus" link at the top of this page. We've been talking about preorders, which are categories with at most one morphism from one object to another. Today is my second lecture on categories.`

Thanks John! My dissertation is called "Coalgebras on Measure Spaces", and it´s about (kind of) the logic of measurable spaces. But before, and after that, I did work in lattices (as posets) with additional operations, related to logic (boolean, three-valued Lukasiewicz, Heyting, Nelson algebras). I will try to contribute as best I can and catch up.

`Thanks John! My dissertation is called "Coalgebras on Measure Spaces", and it´s about (kind of) the logic of measurable spaces. But before, and after that, I did work in lattices (as posets) with additional operations, related to logic (boolean, three-valued Lukasiewicz, Heyting, Nelson algebras). I will try to contribute as best I can and catch up.`

Thank you for sharing your thesis Ignacio!

I am very interested in logic related to probability measures.

Could you point me at any axiomatizations and computational complexity results for logics over measures like you describe in Chapter 4?

`Thank you for sharing your thesis Ignacio! I am very interested in logic related to probability measures. Could you point me at any axiomatizations and computational complexity results for logics over measures like you describe in Chapter 4?`

Here´s a good paper by Goldblatt on that: https://pdfs.semanticscholar.org/e5bd/3f04504fe2ec620c3790911974ca3b6026e0.pdf

`Here´s a good paper by Goldblatt on that: https://pdfs.semanticscholar.org/e5bd/3f04504fe2ec620c3790911974ca3b6026e0.pdf`

This is a great paper, thank you Ignacio!

`This is a great paper, thank you Ignacio!`

Given your expertise I think you'll have a pretty easy time with the section on preorders, Ignacio! If you wanted to start the course late, you picked the perfect thesis topic! You probably had it all planned out.

`Given your expertise I think you'll have a pretty easy time with the section on preorders, Ignacio! If you wanted to start the course late, you picked the perfect thesis topic! You probably had it all planned out. <img src = "http://math.ucr.edu/home/baez/emoticons/tongue2.gif">`