net.categoricaldata.category.functor.withFinitelyPresentedSource.withLocallyFinitelyGeneratedTargetnet.categoricaldata.category.functor.withFinitelyPresentedSourcewithLocallyFinitelyGeneratedTargetwithLocallyFinitelyGeneratedTarget extends withLocallyFinitelyGeneratedTarget with withSmallTargetSourcewithLocallyFinitelyGeneratedTarget.scalawithSmallTarget, withFinitelyPresentedSource, withLocallyFinitelyGeneratedTarget, withSmallTarget, withFinitelyGeneratedSource, withLocallyFinitelyGeneratedTarget, withSmallTarget, withLocallyFinitelyGeneratedSource, withLocallyFinitelyGeneratedTarget, withLocallyFinitelyGeneratedTarget, withSmallTarget, withSmallTarget, withSmallSource, Functor, AnyRef, AnyConcreteTranslation, FullSubcategoryInclusion, FullSubcategoryInclusion, Identity, OntologyOver, PartialDataset, Translation, identityTranslation, withFinitelyGeneratedTarget, withFinitelyPresentedTargetwithLocallyFinitelyGeneratedTargetwithSmallTargetwithFinitelyPresentedSourcewithLocallyFinitelyGeneratedTargetwithSmallTargetwithFinitelyGeneratedSourcewithLocallyFinitelyGeneratedTargetwithSmallTargetwithLocallyFinitelyGeneratedSourcewithLocallyFinitelyGeneratedTargetwithLocallyFinitelyGeneratedTargetwithSmallTargetwithSmallTargetwithSmallSourceFunctorAnyRefAnyDefinition ClasseswithSmallTarget → withSmallTarget → withSmallTarget → withSmallTargetsource: FinitelyPresentedCategoryDefinition ClasseswithFinitelyPresentedSource → withFinitelyGeneratedSource → withLocallyFinitelyGeneratedSource → withSmallSource → Functortarget: LocallyFinitelyGeneratedCategoryDefinition ClasseswithLocallyFinitelyGeneratedTarget → withSmallTarget → FunctorverifyRelations: UnitDefinition ClasseswithFinitelyPresentedSourceInherited from withFinitelyPresentedSource
