Poligraf (matematyka)
W matematyce , a zwłaszcza w teorii kategorii , wariograf jest uogólnieniem grafu skierowanego . Jest również znany jako komputer . Zostały wprowadzone jako „wariografy” przez Alberta Burroniego i jako „komputady” przez Ross Street .
W ten sam sposób, w jaki skierowany multigraf może swobodnie generować kategorię , n -komputada jest „najbardziej ogólną” strukturą, która może wygenerować wolną n-kategorię .