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 constructorRefinement typeType theoryAlgebraic data typeType variablePattern languageContainerIntersection typeAxiomatic systemMonad transformerProduct typeMorphismEquivalence of categoriesIncidence algebraElementBounded quantificationLinear extensionInitial and terminal objectsContext-sensitive languageIntuitionistic type theoryEnriched categoryContext-free grammarFormal systemTyped lambda calculusStructural type systemTransfinite inductionFunctional calculusSystem fClosed categoryMonoidal functorRepresentable functorConstructive proofContext-free languageExtensionFull and faithful functorsStructureFunctorImageClosure operatorLimitParametric polymorphismFunction compositionNatural transformationInjective functionComparison of topologiesCanonical mapQuotient categoryRecursive definitionBiproductClassUniversal propertyPartial functionMonoidIndex setTop typeCartesian closed categoryClosed monoidal categoryDerivationLinear systemConceptSystem of linear equationsProof calculusConcrete categoryProjective objectConstructive set theoryLarge cardinalSemigroupApplicative functorRepresentation theoremFirst-countable spaceSet theoryPolymorphismEquivalence relationSpanNatural proofMutual recursionPropositional formulaHomomorphismKleisli categoryContinuous functionRing homomorphismMonadSubtypingCompact convergenceProduct categoryModel of computationMonomorphismMathematical structureConstructible universeCoequalizerSecond-countable spaceGeneralized algebraic data typeCategory of setsIdempotentPairwise independenceSystem of equationsInvariant manifoldTransfer principleFunction typeFormal concept analysis