Substrate

Both modes of definition need a way of insisting on a certain “minimality” for the structure of natural numbers that they are developing. The Peano axioms formulate this “minimality” by dependence upon the domino effect of truth in a mathematically inductive context. The Peano category approach formulates “minimality” by considering the position of the natural numbers as a discrete dynamical system, among all discrete dynamical systems.

Math is about more than just numbers. In this 'book' the language of math is visual, shown in shapes and patterns. This is a coloring book about group theory.

This has been so exciting for me because (reason). Thanks for letting me share. What’s important about that to you? Likes don’t count, you can’t respond to them. The triangle of friendship is consistency, vulnerability, and connection, with the latter being the base. I’m going to continue to mingle. It was lovely to meet you/y’all! “Hi, I’m [Jasdev]! Mind if I join you?” Suffixing clothing compliments by asking where they got it from. We all want to be both seen and supported—in love, friendships, and work.

flatMapLatest implementation via @SergDort pic.twitter.com/Upow6LRRDr— Rui Peres (@peres) June 5, 2019

There is an almost mystical element to this search for a quick fix; it is rooted in the same misguided beliefs that once led Ponce de Léon to search for a “fountain of youth” upon landing in the so-called New World, scouring the ponds, rivers, lagoons, and lakes of the Florida coastline for the mythic fountain. (There’s debate about whether this actually happened, or if the quest is itself a myth — but the myth’s endurance tells us about its staying power.) The fountain of youth would be the ultimate recharge — a reversal of time in a single instant. The contemporary recharge is about continuously undoing the day before, quickly erasing the wear and tear of living, creating a fresh start or a blank slate or a best self. But it’s aimed at a singular objective: productivity. At its heart, the myth of the recharge is about turning away from what might be broken about the structure of our society — the constancy of work, the absence of affordable healthcare, the expectation that we will be “plugged in” or “online” 24 hours a day — in search of short-term, generalizable solutions. We do not ask ourselves whether all this might be untenable, but instead what supplement we might take to make it a little more bearable. We rise and grind and rise and grind and sleep in between. We deplete, recharge, deplete, recharge.

The worst thing is how intellectually isolated we all are, how few people there are with whom we can share the insights that we find the most exciting, even among other mathematicians. For me personally I feel very frustrated that there is this huge part of my emotional life that most of the people whom I care about have no access to. ​ In a decade’s time, I hope I’m working on projects that I can’t even imagine now and have found a way to be a part of larger mathematical and public conversations.

If we want a name to fully describe the concept it points to, then it must be a very simple concept indeed. ​ But we still have to explain what a Mappable is. “What’s a Mappable? Well, it’s something you can map over!” is a terrible explanation! It’s literally just the grammatic expansion of the word. All it does is move the question one bit further ​ Functor is hard to learn. It is not hard to learn because it is named Functor. If you renamed it to anything else, you’d have just as hard of a time, and you’d be cutting off your student from all of the resources and information currently using the word “functor” to refer to that concept.

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.

Facebook News Feed simultaneously increased the efficiency of distribution of new posts and pitted all such posts against each other in what was effectively a single giant attention arena, complete with live updating scoreboards on each post. It was as if the panopticon inverted itself overnight, as if a giant spotlight turned on and suddenly all of us performing on Facebook for approval realized we were all in the same auditorium, on one large, connected infinite stage, singing karaoke to the same audience at the same time. ​ As humans, we intuitively understand that some galling percentage of our happiness with our own status is relative. What matters is less our absolute status than how are we doing compared to those around us. By taking the scope of our status competitions virtual, we scaled them up in a way that we weren't entirely prepared for. Is it any surprise that seeing other people signaling so hard about how wonderful their lives are decreases our happiness? ​ Facebook, with its explicit attachment to the real world graph and its enforcement of a single public identity, is just a poor structural fit for the more complex social capital requirements of the young. ​ Every network has some ceiling on its ultimate number of contributors, and it is often a direct function of its proof of work. ​ This season, the color of the moment might be saffron. Why? Because someone cooler than me said so. Tech tends to prioritize growth at all costs given the non-rival, zero marginal cost qualities of digital information. In a world of abundance, that makes sense. However, technology still has much to learn from industries like fashion about how to proactively manage scarcity, which is important when goods are rivalrous. Since many types of status are relative, it is, by definition, rivalrous. There is some equivalent of crop rotation theory which applies to social networks, but it's not part of the standard tech playbook yet. ​ but if I have anything to offer on that front, it’s this: if you want control of your own happiness, don’t tie it to someone else’s scoreboard.

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically - GitHub - snowleopard/selective: Selective Applicative Functors: Declare Your Effects Staticall...

Contribute to cohomolo-gy/cats-in-context development by creating an account on GitHub.

Slides for Scalaworld 2019. Contribute to cohomolo-gy/Type-Arithmetic-and-the-Yoneda-Perspective development by creating an account on GitHub.

Guessing Swift takes a similar approach in [SE-0185](https://github.com/apple/swift-evolution/blob/098152eafbfbd7faa74d81e1443231bd7caabc45/proposals/0185-synthesize-equatable-hashable.md).

Introduction Operator-fusion, one of the cutting-edge research topics in the reactive programming world, is the aim to have two of more su...

Course notes for Pure Mathematics Topic D 2019. Contribute to DavidMichaelRoberts/AlgebraicTopology2019 development by creating an account on GitHub.

From [Adrien Vakili](vaki.li) General Topology Munkres -- Topology Chapter 1, sections 1-6 Chapter 2 Chapter 3, sections 1-2 Algebraic Topology Hatcher -- Algebraic Topology Provides good geometric intuition but avoids categorical language. Chapters 0, 1, 4 Strom -- Modern Classical Homotopy Theory More axiomatic/categorical treatment. Fomenko -- Visual Geometry and Topology For pictures.

We present Type Classes: a series of focused video courses on Haskell, Nix, and related subjects.

With given category $\mathcal{C}$ and its objects $A$ and $B$, a hom-set $\hom_\mathcal{C}(A, B)$ is the collection of all morphisms from $A$ to $B$. There is also a related notion of hom-functor ...

Thinking about the relationship between pieces was an exercise in frustration, a continual feeling that the solution was just out of reach, as concentrating on one part would push some other critical piece of knowledge out of my head. ​ Why do we leave material out of classes and then fail students who can't figure out that material for themselves? Why do we make the first couple years of an engineering major some kind of hazing ritual, instead of simply teaching people what they need to know to be good engineers? For all the high-level talk about how we need to plug the leaks in our STEM education pipeline, not only are we not plugging the holes, we're proud of how fast the pipeline is leaking.

When you import a module into Swift code, you expect the result to be entirely additive. But as we’ll see, this isn’t always the case.

That was a day I felt our friendship leveled-up, because I knew I could trust her to give me honest feedback on any subject. "Truth is Kindness" ​ all forms of lying --including while lies meant to spare feelings-- are associated with less satisfying relationships ​ I slide into dishonesty more often than I’d like. It’s easy and it’s comfortable.

I love a good secret. More to the point, I love a good surprise. Seeing the excitement and joy that people feel when you give them good news? The best…

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.

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.