到Universal Property的内容是大二上学抽象代数的时候写的project。之后的内容是大二下的时候作为讲讨论班的notes写的。Adjunction的很多东西我现在也忘光了。 当年的排版比较朴素。目录字体虽然是黑色(当时特意调的),但是做了超链接,可以点击跳跃。 内容基本上是Emily Riehl的Category Theory in Context 的真子集。Rie...
Category Theory in Context 2025 pdf epub mobi 电子书 著者简介 Emily Riehl is Assistant Professor in the Department of Mathematics at Johns Hopkins University. She received her Ph.D. from the University of Chicago in 2011 and was a Benjamin Pierce and NSF Postdoctoral Fellow at Harvard Universit...
Intro to Category Theory from AMS.pdfFokkinga, Maarten
Category Theory 2025 pdf epub mobi 电子书 图书描述 This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, and any of ...
This free book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design. It provides a self-contained introduction to general category theory and explains the
Category Theory: A Gentle Introduction by Peter Smith Publisher: Logic Matters 2016Number of pages: 283 Description:I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it ...
Category Theory in Context (Emily Riehl) This book introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads, Kan extensions, and other topics. ...
AnunofficialPDF version of "CategoryTheoryForProgrammers" byBartosz Milewski, converted from hisblogpost series(with permission!). Buy the book Build the book The building workflow requiresNix. Afterinstalling Nix, you need to enable the upcoming "flake" feature which must beenabled manuallythe time...
In category theory, objects are devoid of internal structure. We’ve seen however that in certain categories we can define relationships between objects that mimic the set-theoretic idea of one set being the subset of another. We do this using the subobject classifier. ...
Category Theory in this manner can be said to be a subject whose keen study will payoff in the form of better decision-making in your day-to-day job over the long term. To articulate exactly how this is something a bit elusive to me at the moment, I am only seeing glimpses of how ...