Found 43 bookmarks
Newest
Topology: A Categorical Approach
Topology: A Categorical Approach
I've been collaborating on an exciting project for quite some time now, and today I'm happy to share it with you. There is a new topology book on the market! Topology: A Categorical Approach is a graduate-level textbook that presents basic topology from the modern perspective of category theory. Coauthored with Tyler Bryson and John Terilla, Topology is published through MIT Press and will be released on August 18, 2020. But you can pre-order on Amazon now!
·math3ma.com·
Topology: A Categorical Approach
Adjunctions as a way to relate two objects (from possibly different categories).
Adjunctions as a way to relate two objects (from possibly different categories).
An adjunction is a way to relate two objects a and c, but not directly: C(a,c) Instead, we get two maps, (L)eft and (R)ight, which allow to relate them: C(L(a),c) A(a,R(c)) 1/n The means that there's a pair of arrows, one in each direction, that these two hom-sets are isomorphic. The first example given is currying: a function in two arguments is equivalent to a function of one argument returning another function in the remaining argument. 2/n We can write this like so: C(a✕b,c) C(a,c^b) where L = _✕b, and R = _^b.
·mobile.twitter.com·
Adjunctions as a way to relate two objects (from possibly different categories).
Emily Riehl’s A Categorical View of Computational Effects talk
Emily Riehl’s A Categorical View of Computational Effects talk
Keynote by Dr. Emily Riehl C◦mp◦se :: Conference http://www.composeconference.org/ May 18, 2017 Slides: http://www.math.jhu.edu/~eriehl/compose.pdf Monads have famously been used to model computational effects, although, curiously, the computer science literature presents them in a form that is scarcely recognizable to a category theorist — I’d say instead that a monad is just a monoid in the category of endofunctors, what’s the problem? ;) To a categorical eye, computational effects are modeled using the Kleisli category of a monad, a perspective which suggests another categorical tool that might be used to reason about computation. The Kleisli category is closely related to another device for categorical universal algebra called a Lawvere theory, which may be a more natural framework to model computation (an idea suggested by Gibbons, Hinze, Hyland, Plotkin, Power and certainly others). This talk will survey monads, Lawvere theories, and the relationships between them and illustrate the advantages and disadvantages of each framework through a variety of examples: lists, exceptions, side effects, input-output, probabilistic non-determinism, and continuations.
·youtu.be·
Emily Riehl’s A Categorical View of Computational Effects talk
Limits and Colimits, Part 2
Limits and Colimits, Part 2
Welcome back to our mini-series on categorical limits and colimits! In Part 1 we gave an intuitive answer to the question, "What are limits and colimits?" As we saw then, there are two main ways that mathematicians construct new objects from a collection of given objects: 1) take a "sub-collection," contingent on some condition or 2) "glue" things together. The first construction is usually a limit, the second is usually a colimit. Of course, this might've left the reader wondering, "Okay... but what are we taking the (co)limit of ?" The answer? A diagram. And as we saw a couple of weeks ago, a diagram is really a functor.
·math3ma.com·
Limits and Colimits, Part 2
Limits and Colimits, Part 1
Limits and Colimits, Part 1
I'd like to embark on yet another mini-series here on the blog. The topic this time? Limits and colimits in category theory! But even if you're not familiar with category theory, I do hope you'll keep reading. Today's post is just an informal, non-technical introduction. And regardless of your categorical background, you've certainly come across many examples of limits and colimits, perhaps without knowing it! They appear everywhere--in topology, set theory, group theory, ring theory, linear algebra, differential geometry, number theory, algebraic geometry. The list goes on. But before diving in, I'd like to start off by answering a few basic questions.
·math3ma.com·
Limits and Colimits, Part 1
Eugenia Cheng’s “Inclusion in Mathematics and Beyond” talk
Eugenia Cheng’s “Inclusion in Mathematics and Beyond” talk
In July 2019, ICMS hosted a workshop on Category Theory.  During the workshop, Eugenia Cheng (School of the Art Institute of Chicago) gave a public lecture entitled Inclusion-Exclusion in mathematics and beyond: who stays in, who falls out, why it happens and what we could do about it. This is a recording of that talkThis talk has captions.  To turn the captions off, press CC on the bottom toolbar.
·media.ed.ac.uk·
Eugenia Cheng’s “Inclusion in Mathematics and Beyond” talk
Introducing Categories
Introducing Categories
once we see the formal definition below, it will become clear that mathematical (say, first-order logical) statements, together with proofs of implication, form a category. Even though a “proof” isn’t strictly a structure-preserving map, it still fits with the roughly stated axioms above. One can compose proofs by laying the implications out one after another, this composition is trivially associative, and there is an identity proof. Thus, proofs provide a way to “transform” true statements into true statements, preserving the structure of boolean-valued truth. The section on diagram categeories was fantatsic.
·jeremykun.com·
Introducing Categories
Categories, What’s the Point?
Categories, What’s the Point?
Moreover, a universal property jumps right to the heart of why a construction is important. ​ I want to make this point very clear, because most newcomers to category theory are never told this. Category theory exists because it fills a need. Even if that need is a need for better organization and a refocusing of existing definitions. ​ l One hopes, then, that very general theorems proved within category theory can apply to a wide breadth of practical areas. ​ Could it be that there is some (non-categorical) theorem that can’t be proved unless you resort to category-theoretical arguments? In my optimistic mind the answer must certainly be no. Moreover, it appears that most proofs that “rely” on category theory only really do so because they’re so deeply embedded in the abstraction that unraveling them to find non-category-theoretical proofs would be a tiresome and fruitless process.
·jeremykun.com·
Categories, What’s the Point?
The rising sea in applied mathematics
The rising sea in applied mathematics
Grothendieck views the mathematician and the problem as complimenting each other, the mathematician using the problem’s natural structure in its solution, rather than striking it with a foreign, invasive method. My view is that any problem that has resisted repeated direct attack from problem solvers, should naturally be of interest to theory builders. If you can’t solve a problem directly, then grow a crystal of theory around the problem and then hope that the solution you are looking for can be located somewhere inside the crystal. This is hard because the same person needs to know about both category theory and the problem domain, which is quite a heavy demand on a human brain.
·julesh.com·
The rising sea in applied mathematics