Index of /data/doc/misc/math/category theory/


../
Awodey, Reck. completeness and categoricity/       28-Jun-2016 23:19                   -
Oosten/                                            10-Mar-2018 18:56                   -
Ершов. теория категорий/                           28-Jun-2016 23:19                   -
Adamek J., Herrlich H., Strecker G.E. Abstract ..> 29-Jan-2018 18:14             4421532
Applicative programming with effects.IdiomLite.pdf 28-Jun-2016 23:19              202971
Buhler. exact categories.esi2063.pdf               28-Jun-2016 23:19              590199
Ellerman-Theory of Adjoint Functors-Reprint.pdf    28-Jun-2016 23:19              540237
Feferman. enriched stratified systems for the f..> 28-Jun-2016 23:19              310319
Foniok. homomorphisms and structural properties..> 28-Jun-2016 23:19              624230
Holm. derived categories and representation the..> 28-Jun-2016 23:19              448228
Jay. An Introduction to Categories in Computing.ps 28-Jun-2016 23:19              366615
Kelly. basic concepts of enriched category theo..> 28-Jun-2016 23:19              954718
Knighten. notes on category theory.Notes.pdf       28-Jun-2016 23:19             1563105
Kock. strong functors and monoidal monads.SFMM.pdf 28-Jun-2016 23:19              356818
Lawvere. metric spaces, generalized logic, and ..> 28-Jun-2016 23:19             2908646
Leinster. category theory 2007.all.pdf             28-Jun-2016 23:19              749054
Scott. some aspects of categories in computer s..> 28-Jun-2016 23:19              647368
Selinger. Introduction to Category Theory.notes..> 28-Jun-2016 23:19              193064
Simmons. introduction to category theory.zCATS.pdf 28-Jun-2016 23:19             1344262
Spencer. categorical programming with functoria..> 28-Jun-2016 23:19             1203415
Thomas Streicher - introduction to category the..> 10-Mar-2018 18:04              679763
category theory as coherently constructive latt..> 28-Jun-2016 23:19              305543
category theory.Awodey.pdf                         28-Jun-2016 23:19             1352364
теория категорий (версия 9).pdf                    18-Apr-2018 11:06             2392840