Αποτελέσματα αναζήτησης

...ογισμού χωρίς τύπους]] αλλά μπορούν επίσης να θεωρηθούν και σαν βασικότερη θεωρία, με τον ''λ-λογισμό χωρίς τύπους'' να είναι ειδική περίπτωση που έχει μόνο ...ο [[λ-λογισμός με απλούς τύπους]] είναι η γλώσσα των καρτεσιανών κλειστών κατηγοριών. ...

...ίστηκαν. Τα νήματα διαδραματίζουν επίσης σημαντικό ρόλο στην κατηγοριακή [[θεωρία τύπου]] και στην θεωρητική επιστήμη των υπολογιστών, ειδικά σε μοντέλα της ...τετριμμένες καταστάσεις στην αλγεβρική γεωμετρία, ο ορισμός των νηματικών κατηγοριών είναι αρκετά γενικός και αφηρημένος. Ωστόσο, η βασική διαίσθηση είναι αρκετ ...

Στη [[Θεωρία κατηγοριών]], ένας '''επιμορφισμός''' (ονομάζεται επίσης ένας '''επί μορφισμός''' ή, κ ...ο άρθρο, ο όρος "επιμορφισμός" θα χρησιμοποιηθεί με την έννοια της θεωρίας κατηγοριών που δίνονται παραπάνω. Για περισσότερες πληροφορίες σχετικά με αυτό, δείτε ...

...ύ κατηγοριών. Στην [[:en:Category_of_small_categories|κατηγορία των μικρών κατηγοριών]], οι συναρτητές μπορούν να θεωρηθούν, γενικότερα, ως μορφισμοί. ...ναρτητές είναι γενικά εφαρμόσιμοι σε τομείς των μαθηματικών, όπου η θεωρία κατηγοριών μπορεί να κάνει μια αφηρημένη έννοια, κατανοητή. ...

...ρία των αλγεβρικών δομών επισημοποιήθηκε στην Καθολική Άλγεβρα. Η [[θεωρία κατηγοριών]] είναι μια άλλη τυποποίηση που περιλαμβάνει επίσης άλλες μαθηματικές δομές ...υντομογραφία της [[Αλγεβρική ποικιλία|αλγεβρικής ποικιλίας]]. Στη [[θεωρία κατηγοριών]], η συλλογή όλων των δομών ενός συγκεκριμένου τύπου και οι ομομορφισμοί με ...

...που προέρχονται από την [[Ομολογική Άλγεβρα|ομολογική άλγεβρα]] και την Κ-θεωρία<ref>{{Cite web|url=https://planetmath.org/Ktheory|title=K-theory|website=pl ...μα: υπάρχουν επίσης η θεωρία του μη αντιμεταθετικού εντοπισμού καθώς και η θεωρία της καθόδου. Αυτό λειτουργεί σε κάποιο βαθμό: λόγου χάρη, οι άλγεβρες περιβ ...

...[[Αλγεβρική τοπολογία|Αλγεβρική Τοπολογία]]) και της αφηρημένης άλγεβρας (θεωρία των προτύπων και συζυγίες) στα τέλη του 19^ου αιώνα, κυρίως από ...ρας ήταν στενά συνυφασμένη με την εμφάνιση της [[Θεωρία κατηγοριών|θεωρίας κατηγοριών]]. Σε γενικές γραμμές, ομολογική άλγεβρα είναι η μελέτη των ομολογικών συνα ...

'''Θεωρία διάταξης'''<ref>{{Cite web|url=https://page.math.tu-berlin.de/~felsner/Lehr Η θεωρία διάταξης συλλαμβάνει τη διαίσθηση των διατάξεων που προκύπτει από τέτοια πα ...

| list8title = Θεωρία * [[Θεωρία της υπολογιστικής μάθησης]] ...

...Οι ελλειπτικές καμπύλες χρησιμοποιούνται στην αλγεβρική γεωμετρία και την θεωρία αριθμών. Και οι δύο τομείς, μελετούν αντιμεταθετικούς δακτύλιους.]] ...0x250px|Το σχήμα των ατομικών τροχιών μπορεί να καθοριστεί χρησιμοποιώντας θεωρία αναπαραστάσεων που στηρίζεται σε μεγάλο βαθμό στην μη αντιμεταθετική άλγεβρ ...

...ύν μία ειδική περίπτωση πλεγμάτων, μελετώνται επίσης στη [[Θεωρία διάταξης|θεωρία διατάξεων]] και στην καθολική άλγεβρα. ...άρθρο σχετικά με τις  ιδιότητες πληρότητας  (completeness properties) στην θεωρία διατάξεων. ...

Οι ισομορφισμοί έχουν επισημοποιηθεί χρησιμοποιώντας την [[θεωρία κατηγοριών]]. Ένας μορφισμός {{Nowrap|''f'' : ''X'' → ''Y''}} σε μια κατηγορία είναι έ Στην [[θεωρία κατηγοριών]], έστω ότι η κατηγορία ''Γ'' αποτελείται από δύο τάξεις, μία από ''τα αντι ...

[[Κατηγορία:Θεωρία κατηγοριών]] ...

[[Κατηγορία:Θεωρία κατηγοριών]] ...

...μαθηματικά]], το '''αξίωμα της επιλογής''' ή ΑC είναι ένα [[αξίωμα]] της [[θεωρία συνόλων|θεωρίας συνόλων]] που ισοδυναμεί με την δήλωση ότι "το καρτεσιανό γ ...ζί με το αξίωμα της επιλογής ([[ZFC]]), το πρότυπο έντυπο της [[Αξιωματική Θεωρία Συνόλων|αξιωματικής Θεωρίας Συνόλων]]. Ένα κίνητρο για τη χρήση αυτή είναι ...

...ται από την επιλογή του συστήματος συντεταγμένων στη γενική και την ειδική θεωρία της σχετικότητας. Ωστόσο η έννοια του φυσικού μεγέθους (ιδίως των λεγόμενων ...οκρασία και η πυκνότητα, ενώ εκτατικών ο όγκος και η μάζα. Χρήση αυτών των κατηγοριών γίνεται συχνότερα στη [[θερμοδυναμική]]. ...

...να μέρος της [[Τοπολογία|τοπολογίας]] που διαπραγματεύεται τους βασικούς [[Θεωρία συνόλων|συνολοθεωρητικούς]] ορισμούς και κατασκευές που χρησιμοποιούνται σ Η γενική τοπολογία αναπτύχθηκε σε ένα εύρος κατηγοριών, οι πιο σημαντικές είναι οι ακόλουθες: ...

Στη θεωρία των αλγεβρικών ομάδων, ένα στοιχείο μιας ομάδας είναι '''μονοδύναμο''' αν δ ...υποομάδα κάποιας <math>\mathbb{U}_n</math>. Χρησιμοποιώντας την Σχηματική θεωρία η ομάδα <math>\mathbb{U}_n</math> μπορεί να οριστεί ως το ομαδικό σχήμα ...

...λγεβρας είναι ένα συγκεκριμένο παράδειγμα αντίστοιχων εικόνων στη [[θεωρία κατηγοριών]]. Στη θεωρία κατηγοριών υπάρχουν [[συνδιακύμενοι συναρτητές]] και [[αντιδιακύμενοι συναρτητές]]. Η ...

...την εργαστηριακή σύνθεση της ουρίας που πραγματοποίησε διέψευσε τη μυθώδη θεωρία της ζωτικής δύναμης. Η ιστορική διεργασία που ακολούθησε ονομάζεται [[σύνθε ...υ ο Βόχλερ ήταν πάντα προσεκτικός και ποτέ δεν ισχυρίστηκε ότι διέψευσε τη θεωρία του βιταλισμού, στην πραγματικότητα τα πειράματά του αυτό ακριβώς έκαναν κα ...