Michi’s blog » Blog Archive » [MATH198] Multiple lectures posted

[MATH198] Multiple lectures posted

November 11th, 2009

I have been remiss in updating here. Since the last time I posted, I have posted:
Lecture 6, featuring some interesting limits and colimits, culminating in the introduction of adjoints.

Lecture 7, featuring the introduction of monads based in adjoints, with the connection between the monoid of endofunctors and the Haskellite specification of monads.

Lecture 8, featuring Eilenberg-Moore algebras, initial algebras for datatype specification, Lambek’s lemma and structural induction and recursion with endofunctor algebras.

2 People had this to say...

beroal Said...

Hi. I think that we should use isomorphism (?) in “P(I)=I” and “I = 1 + A×I” in the Lecture 8. Thus clarifying why are we proving that ?f,a? is an isomorphism pair.

November 22nd, 2009 at 17:16

Michi Said...

Quite so. I have been somewhat sloppy in my notation choices about whether = denotes equality or isomorphism. I blame the wiki platform.

But yes, the = in the equations P(I) = I and I = 1 + AxI are both supposed to indicate isomorphisms.

November 22nd, 2009 at 17:37

Want your say?

post navigation

about: Michi is a recent PhD working in homological algebra and applied algebraic topology. This blog is his outlet for texts with some manner of thought put into them. Over at his LiveJournal intimate details and streams of consciousness might be found.
Not all here is mathematics. All here, though, are my personal thoughts and opinions. Please read the about page (linked above) for more details.
This blog uses statcounter.com for logging and traffic analysis. In order to identify return visitors, this site will issue a cookie on viewing the blog.

Travel plans