What does ⟨ -,- ⟩ mean in the context of category theory?
73513
UMP of product functor
97407
What can I use instead of the arrow operator, `->`?
94418
Where do we use the object operator "->" in PHP?
152195
Could this be proper notation for an antiderivative? Does this notation even exist?
76847
How can I identify a word that ends with "-ing" as being a noun, a verb, or an adjective?
127826
Is the geometric realization of a pointed category contractible?
152354
Why is an empty set not a terminal object in categories $\mathsf{Top}$ and $\mathsf{Sets}$?
14074
First usage of the symbol ∈
24795
what does the "L" in "L-function" stand for?
102899
Category theory with objects as logical expressions over $\{\vee,\wedge,\neg\}$ and morphisms as?
70797
Why doesn't the definition of a category require an explicit notion of morphisms equality?
36304
What does the "+" (plus sign) CSS selector mean?
123351
TikZ: What EXACTLY does the the |- notation for arrows do?
66501
Notation Question: What does $\vdash$ mean in logic?
56364
Confusion about Homotopy Type Theory terminology
122780
What does # mean in Mathematica?
146339
Proof of -(-v)=v in a vector space