net.categoricaldata.category.functor

withFinitelyPresentedSource

package withFinitelyPresentedSource

Visibility
  1. Public
  2. All

Type Members

  1. trait withFinitelyGeneratedTarget extends withFinitelyGeneratedTarget with withLocallyFinitelyGeneratedTarget

  2. trait withFinitelyPresentedTarget extends withFinitelyPresentedTarget with withFinitelyGeneratedTarget

  3. trait withLocallyFinitelyGeneratedTarget extends withLocallyFinitelyGeneratedTarget with withSmallTarget

  4. trait withSmallTarget extends withSmallTarget with withFinitelyPresentedSource