Sted: Seminarrom B 63, NHA
Ledes av Herman Ruge Jervell, e-post:
h.r.jervell@ilf.uio.no og
Dag Normann, e-post:
dnormann@math.uio.no.
Tid: Torsdager 10.15-12.00
31.08.2006 Herman Ruge Jervell.
07.09.2006 Petter Köber
14.09.2006 Mathias Barra
21.09.2006 Paul Voda
28.09.2006 Herman Ruge Jervell
05.10.2006 Herman Ruge Jervell
12.10.2006 Frode Bjørdal
19.10.2006 Frode Bjørdal
26.10.2006 Herman Ruge Jervell
02.11.2006 Mathias Barra
09.11.2006 Herman Ruge Jervell
16.11.2006 Michal Walicki
Listen over forelesere er ikke ført videre.
Det planlegges at
Michal Walicki fra Bergen besøker seminaret 16/11.
Han skal snakke om Homomorfi av multialgebraer
Abstract:
Multialgebraer er algebraer der operasjoner kan returnere mengder av elementer
og ikke bare enkelte elementer. De generaliserer vanlige og partielle algebraer,
og kan representere mange forskjellige strukturer (f.eks., boolske algebraer med
operatorer, koalgebrear for polynomiale og potensmengde funktorer, relasjonelle
strukturer (og dermed, Kripke rammer, ikke-deterministiske automata, osv.)).
Prisen for denne generaliteten er mangfold av mulige definisjoner av homomorfi
og vi begynner med å karakterisere disse som er komposisjonale (dvs. der
sammensetting av to homomorfier er en homomorfi). Vi begrunner kort et (mulig)
valg av en slik definisjon og presenterer den resulterende kategorien.
Egenskaper av kongruenser og subalgebraer viser til en dualitet mht. vanlige
algebraer og antyder en mulig styrking av bisimuleringskongruens for koalgebraer.
Vi sammenfatter konstruksjoner av kogrenser og gir en mer detaljert konstruksjon
av produkter. Den siste gjelder, som et spesielt tilfelle, konstruksjon av
produkter for koalgebraer for, bl.a., potensmengde funktor, som til nå har
vært et åpent problem.
Toppen
Sist oppdatert av Dag Normann 31.10.2006