net.categoricaldata.category.functor

withSmallSource

package withSmallSource

Visibility
  1. Public
  2. All

Type Members

  1. trait withFinitelyGeneratedTarget extends withLocallyFinitelyGeneratedTarget with withFinitelyGeneratedTarget

  2. trait withFinitelyPresentedTarget extends withFinitelyGeneratedTarget with withFinitelyPresentedTarget

  3. trait withLocallyFinitelyGeneratedTarget extends withSmallTarget with withLocallyFinitelyGeneratedTarget

  4. trait withSmallTarget extends withSmallSource with withSmallTarget