Virtuaalsed topeltkategooriad

Virtuaalsed topeltkategooriad on kategoorsed struktuurid, millel on objektide vahel kaks klassi morfisme: jäigad, lõdvad. Objektid ja jäigad morfismid moodustavad kategooria, aga lõtvadel morfismidel ei ole defineeritud komponeerimisoperatsiooni. Selleks, et lõtvade morfismidega oleks midagi huvitavat peale hakata võtame kasutusele teatud kahemõõtmelise struktuuri, mida täidavad klass 2-morfisme, veelgi enam, nende 2-morfismide seas esinevad kindlat tüüpi 2-morfismid, mis omavad erilist tähtsust. Seminari eesmärgiks on tutvustada virtuaalseid topeltkategooriad ja nendega seonduvaid mõisteid ning struktuure.