functor

• “In the regimented environment of Leśniewski's logical languages this always takes place in the following way: a combining expression, which we may call a functor, precedes a left parenthesis of some kind, which is then followed by a sequence of one or more argument expressions, followed by a right parenthesis symmetric to the other one, which terminates the complex.”

  Stanisław Leśniewski

• “Strict memoization (really hyper-strict) is centered on a family of trie functors, defined as a functor”

  Planet Haskell

• “functor" we need to be clear whether we're talking about one of these objects (ie a functor in the underlying category), or about a functor over this category.”

  Planet Haskell

• “I am pretty sure that violates one of the applicative functor laws. (f pure x = pure ($x) f).”

  Patterns in Haskell « Alex McLean

• “So quantum mechanics and general relativity at least within this “partial functor” are equivalent, and might ultimately prove to be two aspects of an identical system.”

  If We Live in a Multiverse, How Many Are There? | Universe Today

• “Since quotations are functor expressions without internal structure, (BQ2) is explained: there's no possibility for quantifying into a quotation on this view.”

  Quotation

• “For example, “is” has s/nn as its categorial index; it says that” is “is a two-placed functor of two nominal arguments which forms a sentence.”

  Lvov-Warsaw School

• “Moreover, in GEM the generalized Product principle (P. 16ψ) is also derivable as a theorem, with ˜Ïˆ™ as weak as the requirement of mutual overlap, and we can introduce a corresponding functor as follows:”

  Fictionaut: Wild Dreams Of Reality, 3

• “Coarse-graining might be represented as a functor, or something like that, establishing some kind of equivalence which lets you have a weaker notion of isomorphism.”

  Arrow of Time FAQ

• “With Protothetic launched, Leśniewski could now look back on his system of foundations and see that it consisted of a hierarchy of three systems, developed in reverse order: Protothetic, introducing connectives, quantifiers and higher functions; Ontology, introducing the new category of names, with the new primitive ˜is™, and Mereology, based on a primitive mereological functor such as”

  Stanisław Leśniewski

Show 10 more examples...