How do I google this? (f: A -> B)

  • Thread starter Thread starter Pithikos
  • Start date Start date
  • Tags Tags
    Google
AI Thread Summary
To find information on the notation f: A → B, searching for "a function f from A to B" or "a function f:A->B" will yield broad results due to its common usage in mathematics. For more specific inquiries, including defining properties in the search query can help narrow down the results. The notation does not strictly relate to sets; it can also represent morphisms in category theory. Understanding the context is essential, as the meaning of f: A → B varies based on the surrounding discussion. The Wikipedia article on mathematical functions is a useful resource for foundational knowledge.
Pithikos
Messages
55
Reaction score
1
I want to find information regarding what f: A \rightarrowB is. What shall I google? I am not even sure this has anything to do with sets :S
 
Physics news on Phys.org
Pithikos said:
I want to find information regarding what f: A \rightarrowB is. What shall I google? I am not even sure this has anything to do with sets :S

You could put "a function f from A to B" of "a function f:A->B" into Google, however this is a very general statement. I would imagine you'll get a whole slew of search results, because that expression is used nearly everywhere in mathematics.

Is it a specific function that you're interested? If so you need to consider its defining properties. If you put a "f:A->B such that ..." (where ... represents the defining property of such a function) into Google, you'll likely narrow the search. The Wiki article that micromass posted is very comprehensive and easy to understand -- I've used it many times.
 
It does not necessarily have to do with sets. It could represent an arrow (also called morphism) between objects in a category. A priori "f:A->B" has no meaning. The context should make clear what the author is talking about.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top