Category#
- class discopy.stream.Category(ob=None, ar=None)[source]#
Bases:
discopy.symmetric.Category
Syntactic sugar for Category(Ty[category.ob], Stream[category]).
- Parameters:
ob (type) –
ar (type) –
Bases: discopy.symmetric.Category
Syntactic sugar for Category(Ty[category.ob], Stream[category]).
ob (type) –
ar (type) –