These foundational applications of category theory have been worked out in fair detail as a basis for, and justification of, constructive mathematics.
Αυτές οι θεμελιώδεις εφαρμογές της θεωρίας κατηγορίας έχουν επιλυθεί με δίκαιες λεπτομέρειες σαν βάση και την αιτιολόγηση, τα εποικοδομητικά μαθηματικά.