Какво е " CATEGORY THEORY " на Български - превод на Български

• теория на категориите
• теорията на категориите

Примери за използване на Category theory на Английски и техните преводи на Български

Category: theory of everything.
Заглавие: Теория на всичко.

Isomorphisms are formalized using category theory.
Изоморфизмите се формализират чрез теорията на категориите.

Category: Theory of Constraints.
Категория: Теория на ограниченията.

The focus of the event was on category theory.
Основна тема на конференцията бе теорията на категориите.

Category theory and its implication to spatial data processing, and.
Теория на категориите и нейното приложение за обработка на пространствени данни, и.

In the 1940s he worked on cohomology and introduced the basic notions of category theory.
През 1940 г. той е работил върху cohomology и въвежда основните понятия на теорията категория. Кели, в.

After 1957 Ehresmann became a leader in category theory and he worked in this area for 20 years.
След 1957 Ehresmann стана лидер в тази категория, теория и той е работил в тази област за 20 години.

The pure functional programming language Haskell implements them using monads, derived from category theory.
Чистият функционален език Haskell ги имплементира чрез монади, заимствани от теория на категориите.

Its name is a category theory, and like the man in the painting who has no face, it does not have its own subject.
Нейното име е теория на категориите и също като безликия мъж от картината, тя няма свой собствен предмет.

Many mathematicians participated in this seminar and it led to the birth of the Moscow School of Category Theory.
Много математиците участие в този семинар и тя доведе до раждането на Москва училище Категория теория.

Its name is a category theory, and like the man in the painting who has no face, it does not have its own subject.
Нейното име е теория на категориите и също като мъжа от картината, който няма свое лице, тя няма свой собствен предмет.

And at the present time, it is useful to exchange ideas with such areas as category theory, algebra and mathematical logic.
И в настоящия момент е полезно да се обменят идеи с такива области като теория на категорията, алгебра и математическа логика.

Later, also papers on category theory and the theory of multi-operator groups, rings and linear algebras.
По-късно, също и статии по категория теория и теорията на мулти-оператор групи, пръстени и линейни algebras.

Charity uses a type system and control constructs based on category theory, whereas Epigram uses dependent types.
Charity използва система за писане и контролни конструкции, базирани на теорията за категориите, докато Epigram използва зависими типове.

Category theory, which deals in an abstract way with mathematical structures and relationships between them, is still in development.
Теорията на категориите е все още в процес на развитие и разглежда математическите структури и отношенията между тях от абстрактна гледна точка.

The computer science courses concentrate on formal methods, type theory, category theory, coalgebra and theorem proving.
Курсовете по компютърни науки се съсредоточават върху формални методи; тип-теория; категория-теория, коалгебра и доказване на теореми.

Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.
Теорията на категориите е все още в процес на развитие и разглежда математическите структури и отношенията между тях от абстрактна гледна точка.

The computer science courses might concentrate on formal methods, type theory, category theory, co-algebra and theorem proving.
Курсовете по компютърни науки се съсредоточават върху формални методи; тип-теория; категория-теория, коалгебра и доказване на теореми.

Thus the category theory allows us to see the common between the different parts of mathematics, providing us with a universal language in which the results of any known formal theory can be explained.
По този начин теорията на категориите ни позволява да видим общото между отделните дялове на математиката, осигурява ни универсален език, в който могат да бъдат облечени резултатите на всяка известна формална теория..

During the 1950s he concentrated on Universal algebra and category theory, organising a major seminar on category theory in 1958.
През 1950s е концентрирано върху универсалната категория алгебра и теория, организира семинар на тема големи категория теория през 1958 година.

While he is best known for his work in point set topology, he also made contributions to category theory, sheaf theory and the theory of knots.
Макар че той е най-известен с работата си в точка в стаята топология, той също се прави вноски в категория теория, sheaf теория и теорията на възела.

His supervisor at Princeton was John Moore and he wrote a dissertation on category theory in which he produced results which were to become fundamental tools in topology.
Неговият ръководител е бил в Принстън Джон Мур и той написа дисертация по Теория на категорията, в която той води до резултати, които са основните инструменти, за да се превърне в топологията.

The two first met in 1940 in Ann Arbor and from that time until about 1954 the pair produced fifteen papers on a whole range of topics including category theory, cohomology of groups, the relation between homology and homotopy, Eilenberg- Mac Lane spaces, and generic cycles.
Двете първи изпълнени през 1940 г. в Ан Арбър и от това време, докато за 1954 г. чифт произведени петнадесет статии по широк кръг от теми, включително категория теория, cohomology на групи, връзката между homology и homotopy, Eilenberg-Mac Lane пространства, както и родови цикли.

The two first met in 1940 in Ann Arbor and from that time until about 1954 the pair produced fifteen papers on a whole range of topics including category theory, cohomology of groups, the relation between homology and homotopy, Eilenberg- Mac Lane spaces, and generic cycles.
Двете първи изпълнени през 1940 г. в Ан Арбър и от това време, докато за 1954 г. чифт произведени петнадесет статии по широк кръг от теми, включително категория теория, cohomology на групи, връзката между homology и homotopy, Eilenberg-Mac Lane пространства, както и родови цикли. През 1942 те публикува книга, в която са въведени и Външна База за първи път. Те въведени термините functor и природни изоморфизъм, а през 1945 г., допълни условията категория и природни трансформация.

Category: Marxist theory- Wikipedia.
Категория: Марксистка теория- Уикипедия.

Pages in category"Marxist theory".
Страници в категория„Марксистка теория“.

Choose your category, master the theory and solve the test!
Изберете категория, овладяване на теорията и решаване на теста!

Category: Concepts in film theory- Wikipedia.
Категория: Концепции в метафизиката- Уикипедия.

However, there are some important details of the parties, that puts the theory to the category of"gray".
Все пак, има някои важни данни страна на теорията, която поставя в"сивата" категория.

Who have passed a theory test only as regards category AM;
Които са взели теоретичен изпит по отношение на категория АМ;