Hva betyr ⟓
Det erklærer et kvadrat av piler for en pullback.
Kategoriteori studerer objekter og avbildninger (piler) mellom dem og resonnerer med diagrammer. For f: A C og g: B C samler pullbacken alle par (a, b) med f(a) g(b). For mengder er det fiberproduktet A _C B, litt som å koble to tabeller på en felles kolonne.
Pullbacken står i kvadratets øvre venstre hjørne. Tegnet sitter rett innenfor det hjørnet med vinkelen pekende mot det: kvadratet kommuterer ikke bare, det er kartesisk.
Hvor kommer hjørnetegnet fra?
Peter Freyd mintes å ha brukt et lignende vinkeltegn i forelesninger i 1974, og Paul Taylors utbredte LaTeX-pakke for diagrammer hadde det senest i 1994. Ingen enkelt oppfinner pekes ut.
I artikler skrives det oftest uten prikk, (\lrcorner i LaTeX). Unicode koder prikkformen ⟓ og partneren separat.
En del av samlingene
Ikke forveksle med
2
Beslektede tegn
1
Vanlige spørsmål
2Er ⟓ det samme som ?
Ikke som tegn. Begge markerer en pullback, men er det vanlige hjørnet uten prikk. Bruk ett konsekvent.
Kan jeg bruke ⟓ som pynt?
Ja. Det er et vanlig teksttegn som vises hvis skrifttypen har det; matematikere leser det som pullback.
Flere som dette
10
Slik skriver eller finner du ⟓
- Også kalt
- pullback-symbol · pullback-hjørne · fiberprodukt-tegn
- Søk etter som
- pullback · fiberprodukt · pullback-kvadrat · kartesisk kvadrat · kategoriteori · hjørne med prikk · kommutativt diagram
- Vises i
- Alle tekstfelt · formen avhenger av skrifttypen
⟓\27D3Koder og kodingKodepunkter: 1
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.