Бесплатная категория
- Свободная категория или категория траекторий генерируется ориентированным графом или колчаном.
- Объекты категории — это вершины колчана, а морфизмы — пути между объектами.
- Операция компоновки — это объединение путей.
- Заданные пути образуют тождественные морфизмы категории.
- Свободная категория на колчане имеет различные стрелки в зависимости от структуры колчана.
- Категория малых категорий Cat имеет забывчивый функтор U в категории колчанов Quiv.
- Универсальная свойство свободной категории на колчане может быть описано с точностью до изоморфизма.
Полный текст статьи: