 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 