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.
Type variableInductive typeProduct typeFunction compositionIntersectionAlgebraic data typeContainerRefinement typeAlgebra homomorphismPartial functionType constructorRelationIntersection graphBiproductIntersection theoryFunction spaceEquivalence relationEquationBinary functionCoequalizerMorphismDistributive propertyExtensionElementIncidence algebraEquivalence of categoriesFunctionMonoidMultivalued dependencySpanProjective objectPolymorphismAlgebraic functionRing homomorphismProduct measureMonoidal functorInequationDualGraph isomorphismBinary relationFixed-point combinatorUnionType theoryIntegro-differential equationClosed categoryCompletely positive mapDistributive latticeStrengthDependent typeTotal orderQuotient categoryAlgebraic integerIsomorphismInitial and terminal objectsPairwise independenceSemigroupSymmetric differenceHomomorphismComparison of topologiesBoolean domainEquivalencePositive-definite functionMixtureMatrix additionHomeomorphismCategory of relationsInteger relation algorithmImageKernelFull and faithful functorsRepresentable functorGroup homomorphismIdempotentMultilinear formClopen setProjectionMixed graphSubsetGraph homomorphismFunctorSectionDirect sumTensor product of fieldsDomain of a functionBinary operationTop typeTensor product of graphsOrder typeMonad transformerArgument of a functionOpen and closed mapsIntervalSetoidCategory of setsTruth valueOrthogonal functionsIdeal quotientApplyTensor product of algebrasSatisfiability