|
|
| Zeile 22: |
Zeile 22: |
|
| |
|
| Termin: Die Organisation der Lambdaheads wurde auf [http://meetup.com/Lambdaheads meetup] verschoben - bitte dort die Themenlage ansehen die Announcements passieren ca 1-2 Wochen vor dem eigentlichen Termin. | | Termin: Die Organisation der Lambdaheads wurde auf [http://meetup.com/Lambdaheads meetup] verschoben - bitte dort die Themenlage ansehen die Announcements passieren ca 1-2 Wochen vor dem eigentlichen Termin. |
|
| |
| === 2016-04-13 Wed 19:30 (LOUNGE!!) ===
| |
|
| |
| ==== Topic: Category theory part 3 ====
| |
|
| |
| Third and (maybe) final part of Category Theory!
| |
|
| |
| We will do a short recap and then
| |
| * natural transformations - a.k.a. "functors" of categories
| |
| * universal constructions
| |
| * sum
| |
| * product
| |
| * learn what is so universal about them
| |
| * see why Hask is not a category
| |
| * maybe have an expert guest whom you can ask about everything you wanted to know, I'll let you know in the comments section wether he has time.
| |
|
| |
| As always if you want to present or have a topic suggestions - please add a comment. Btw. if you want to talk and need help - just ask I'll be glad to help.
| |
|
| |
| Cheers Martin
| |
|
| |
| ==== Teilnehmer ====
| |
|
| |
| * [[Benutzer:Epsilon.halbe|ε/2]]
| |
|
| |
| <!--
| |
| * zerocity?
| |
| * [[Benutzer:Daxim]]
| |
| * [[Benutzer:Phaebz|phaebz]]
| |
| * [[Benutzer:Lefant|Lefant]]
| |
| * [[Benutzer:Mark.probst|schani]]
| |
| * [[User:Citizen428|citizen428]]
| |
| -->
| |
|
| |
|
| === 2016-06-08 Wed 19:30-22:30 (Library) === | | === 2016-06-08 Wed 19:30-22:30 (Library) === |