Searched refs:category_tester (Results 1 – 2 of 2) sorted by relevance
380 def __init__(self, category_tester, object, code): argument381 self.category_tester = category_tester382 self.functor = category_tester.functor387 return self.category_tester.arrows[self.object]609 def category_tester(self, functor, arrows=None, coverage=1): member in _GLUECLAMP_699 tester = self.category_tester(functor)
461 tester = self.Kan.category_tester(