Community Profile
![[info]](http://l-stat.livejournal.com/img/community.gif?v=92.2){kind=small}
Join
Watch
Add Note
Post
Track
Send V-Gift
Теория категорий
Ко-тегори теори
Plus Account [Gift] Created on 2009-05-31 16:31:20 (#20386515), last updated 2012-01-16
14,128 place in general community rating
Social capital: <10 
- 47 Journal Entries
- 629 comments received
- 1 Tag
- 0 Memories
- 0 Virtual Gifts
- 2 Userpics
Basic Info| Membership: | Open |
|---|---|
| Posting Access: | All Members, Moderated |
| Description: | Околотопологическое басурманское учение о хуе и ко-хуе |
AboutТеория категорий (источники)
[1]. http://eba.li/cat — теория категорий на одной странице (коллективно)
[2]. http://ncatlab.org/nlab/show/category+theory — вики по широким аспектам теории категорий
[3]. http://community.livejournal.com/category_theory/2190.html — мы читаем такие книжки
ConnectInterests (55):
2-категории, agda, caml, coq, cpl, curry, epigram, f#, haskell, join-calculus, ml, objective caml, λ-исчисление, Аводей и Байер, Асперти и Лонго, Барр и Уэлс, Берг, Вармо Вене, Вольфенгаген, Гоген, Гротендик, Джонстон, Кантор, Карри, Категорияльная Абстрактная Машина, Ламбек, МакЛейн, Наброски Слона, Объект Натуральных Чисел, Пирс, Фокинга, Хагино, Хаскель, Цермело и Франкель, аппликативное программирование, геометрия, декартово-замкнутая категория, диалгебры, классификатор, комбинаторная логика, комбинаторы, логика, мета языки, монады, моноид, морфизм, расширения Кана, сопряжения, степень, топосы, умножение, факторизатор, функторы, функциональное программирование, функция
Administrators
Members [View Entries]
Members (107):
360strategy, 66george, __ronin__, _darkus_, adevyatkov, airatburganov, akater, akpc806a, alexey_rom, alexlumpov, alexott, antilamer, ar_quel, argo_navis, astoon, azmiol, beroal, bik_top, bvn_mai, byleon, c_a_s_u_s, cheater, cherry_666_60, chumpa, clayrat, codedot, corpnicie, dashhh, delamelicon, deni_ok, dildoformyemog, djuffin, dreamfly9, dtim, dvig_al, egotraumatic, epicmonkey, ex_vdom, gabriel_irk, gelvaos, getsko_p, haskellx, heilin, helvegr, ilynva, insuvomun, jamhed, jdevelop, ji0x, joedead, jtootf, kurilka, kyon_kon, lambdacube, lelf, little_arhat, liusik_jaan, lomeo, loyso_b, mathphysicist, mathreader, maxal, maxim, mibori, mindshock, mw_citizen, nealar, netyushin, nick_vacula, nimnul, nivanych, northern_witch, opompus, p_dzikovsky, polluxb, potan, reldan, rssh, sdfgh153, shizo_gnoman, side_effect, skki, sorhed, sorsarre, svintusoid, tancorko, technic, theambient, udpn, ulysses4ever, valexey, vantive_98, visualdoj, vrann, wakes_up, weissefly, wizzard0, wow_nastya, xryundel, xsbos, yantayga, yutokono, yxo_1_rora, zfsed, zhectjahsik, zhengxi, zopla
Watched by (144):
360strategy, 66george, Vladimir Vitvitskiy, Yura Yaroshevich, __ronin__, _darkus_, adaptun, adevyatkov, airatburganov, akalenuk, akater, akpc806a, alexey_rom, alexlumpov, alexott, algebraic_brain, alpha_cygnus, alvelcom, andaja, ar_quel, astoon, aumakua, basp, beroal, bigfoot_566, bik_top, bntr, brainslugs.blogspot.com, bvn_mai, c_a_s_u_s, cfrs, cheater, cherry_666_60, chumpa, clayrat, codedot, corpnicie, cqwerty, damonskv, dashhh, delamelicon, deni_ok, diam_2003, dildoformyemog, dreamfly9, dtim, dvig_al, epicmonkey, gabriel_irk, gds, gelvaos, geniepro, geopolyp, geronimo909, getsko_p, gltronred, grouzen, heilin, helvegr, hypnotrout, ioga, iozhikov, jamhed, jdevelop, ji0x, joedead, jtootf, kashnikov, kkirsanov, krant, kurilka, kyon_kon, lambdacube, lispnik, little_arhat, liusik_jaan, lomeo, loyso_b, mathphysicist, mathreader, maxal, maxim, meed, metaclass, mibori, mike-price.myopenid.com, mindshock, mw_citizen, nick_vacula, nimnul, nivanych, northern_witch, nponeccop, opompus, os80, oxij, pernaty_drug, pneqnp, polluxb, potan, q987, q_dad, ratibor_vv, reldan, rssh, ru_pchel, sdfgh153, shadow_ru, shizarheu, shizo_gnoman, shuffle_c, side_effect, skki, snusmumrikkk, sorhed, sorsarre, squadette, svintusoid, tancorko, technic, theambient, thedeemon, tomotom, udpn, ulysses4ever, ushastyi, valexey, visualdoj, wakes_up, weissefly, wisdomofhuman, wizzard0, wow_nastya, xryundel, xsbos, y_ug, yantayga, yxo_1_rora, zavulonium, zelych, zhectjahsik, zhengxi, zopla, zulc
