MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Applicative functorMonadMonoidFunctorAlgebraic data typeMonoidal functorMorphismMonomorphismType constructorMonoidal categoryFunction compositionEnriched categoryNatural transformationModule homomorphismFunction typeKleisli categoryType variableClosed monoidal categoryMonotonic functionInductive typeRepresentable functorRing homomorphismFunctional calculusProjectionImageShift operatorModel of computationF-coalgebraCanonical mapType theoryTyped lambda calculusAlgebra homomorphismCurryingGeneralized algebraic data typeClosed categoryArgument of a functionAlgebra representationDerivationDifferential operatorHomomorphismFunction applicationCompletion of a ringGenerating function transformationRefinement typeReductionOption typeInitial and terminal objectsCovariant return typePower transformBinary functionSemigroupFunctor categoryDirect sum of modulesIsomorphismElementBundle mapFilterFunctionalString diagramCircuitExtensionConeGroup isomorphismAntihomomorphismExponential objectEndomorphismDowncastingConnectorCyclic groupOperationUniversal propertyMultilinear formMultivalued functionQuotient categoryOperator algebraClosure operatorAlgebraic functionRule of inferenceParametric polymorphismSyntactic monoidMutual recursionGeometric transformationMatrix ringHom functorTensor product of modulesFull and faithful functorsOperadInner automorphismSymplectomorphismFormal derivativeAnamorphismMatroidBoolean expressionTriangulated categoryGraph homomorphismProduct typePolymorphismTranspose of a linear mapFunction spacePartial function