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.
Algebraic data typeType constructorType variableType theoryFunction compositionInductive typeIntersection typePointwise productMutual recursionBiproductIntersectionProduct measureDirect productTensor product of fieldsProductDirect sum of modulesClosed categoryMorphismProduct categoryDirect sumConcatenated error correction codeSemidirect productRefinement typePolynomial expansionTop typeLogarithm of a matrixContainerRecursionMonad transformerParametric polymorphismPermutation patternProfunctorDependent typeQuotient categoryDependence analysisOperator product expansionTensor product of algebrasDirect product of groupsImageProjective objectMetamodelingSemigroupRing homomorphismMonoidal functorProduct of group subsetsSecond-order logicPolynomial-time reductionEquivalence of categoriesDual latticeFixed-point combinatorApplicative functorTensor product of representationsAlgebra homomorphismConfluenceComposition of relationsBoolean expressionInteger factorizationMathematical structureProduct integralAdditive groupBinary operationCoequalizerExpressionConstituentElementMonoidSubtypingDivisor summatory functionSeparable filterProduct topologyCauchy productCompositionDualReductionTopological tensor productPolymorphismDistributive latticeComposabilityF-algebraDerived functorMatroidNatural transformationTyped lambda calculusModel of computationFormulaStructureCyclic codeLimitProduct metricPreadditive categorySelf-similar processHomotopy theoryComparison of topologiesConfiguration spaceBoolean algebraLie algebra extensionTransfer principleProof calculusLinear extensionSection