U+22A3 Left Tack
U+22A3 was added in Unicode version 1.1 in 1993. It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script. The character is also known as reverse turnstile, non-theorem and does not yield.
The glyph is not a composition. It has no designated width in East Asian texts. In bidirectional text it acts as Other Neutral. When changing direction it is mirrored into
The Wikipedia has the following information about this codepoint:
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.
By definition, an adjunction between categories and is a pair of functors (assumed to be covariant)
- and
and, for all objects in and in , a bijection between the respective morphism sets
such that this family of bijections is natural in and . Naturality here means that there are natural isomorphisms between the pair of functors and for a fixed in , and also the pair of functors and for a fixed in .
The functor is called a left adjoint functor or left adjoint to , while is called a right adjoint functor or right adjoint to . We write .
An adjunction between categories and is somewhat akin to a "weak form" of an equivalence between and , and indeed every equivalence is an adjunction. In many situations, an adjunction can be "upgraded" to an equivalence, by a suitable natural modification of the involved categories and functors.
Representations
System | Representation |
---|---|
Nº | 8867 |
UTF-8 | E2 8A A3 |
UTF-16 | 22 A3 |
UTF-32 | 00 00 22 A3 |
URL-Quoted | %E2%8A%A3 |
HTML hex reference | ⊣ |
Wrong windows-1252 Mojibake | ⊣ |
HTML named entity | ⊣ |
HTML named entity | ⊣ |
alias | reverse turnstile |
alias | non-theorem |
alias | does not yield |
LATEX | \dashv |
Adobe Glyph List | tackleft |
Related Characters
Elsewhere
Complete Record
Property | Value |
---|---|
1.1 (1993) | |
LEFT TACK | |
— | |
Mathematical Operators | |
Math Symbol | |
Common | |
Other Neutral | |
Not Reordered | |
none | |
|
|
✘ | |
|
|
|
|
✘ | |
|
|
|
|
|
|
|
|
|
|
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
Any | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
0 | |
0 | |
0 | |
✘ | |
None | |
— | |
NA | |
Other | |
— | |
✘ | |
✘ | |
✔ | |
✘ | |
Yes | |
Yes | |
|
|
Yes | |
|
|
Yes | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
|
|
None | |
neutral | |
Not Applicable | |
— | |
No_Joining_Group | |
Non Joining | |
Alphabetic | |
none | |
not a number | |
|
|
R |