Now on ScienceBlogs: Oldest Human-Made Object in Space
Finding the fun in good math; Shredding bad math and squashing the crackpots who espouse it.
Mark Chu-Carroll (aka MarkCC) is a PhD Computer Scientist, who works for Google as a Software Engineer. My professional interests center on programming languages and tools, and how to improve the languages and tools that are used for building complex software systems.
Category: Abstract Algebra
Since I mentioned the idea of monoids as a formal models of computations, John Armstrong made the natural leap ahead, to the connection between monoids and monads - which are a common feature in programming language semantics, and a...
Posted by Mark C. Chu-Carroll at 10:57 AM • 5 Comments •
Category: Abstract Algebra
While doing some reading on rings, I came across some interesting stuff about Monoids and syntax. That's right up my alley, so I decided to write a post about that....
Posted by Mark C. Chu-Carroll at 9:39 PM • 4 Comments •
Category: Abstract Algebra
When I first talked about rings, I said that a ring is an algebraic abstraction that, in a very loose way, describes the basic nature of integers. A ring is a full abelian group with respect to addition -...
Posted by Mark C. Chu-Carroll at 9:58 AM • 21 Comments •
Category: Abstract Algebra
By now, we've seen the simple algebraic monoid, which is essentially an abstract construction of a category. We've also seen the more complicated, but interesting monoidal category - which is, sort of, a meta-category - a category built using...
Posted by Mark C. Chu-Carroll at 1:28 PM • 1 Comments •
Category: Abstract Algebra
In the last post on groups and related stuff, I talked about the algebraic construction of monoids. A monoid is, basically, the algebraic construction of a category - it's based on the same ideas, and has the same properties;...
Posted by Mark C. Chu-Carroll at 6:34 PM • 4 Comments •
Category: Abstract Algebra
In the last couple of posts, I showed how we can start looking at group theory from a categorical perspective. The categorical approach gives us a different view of symmetry that we get from the traditional algebraic approach: in...
Posted by Mark C. Chu-Carroll at 9:28 PM • 3 Comments •
Orac 02.14.2012
Tim Lambert 02.01.2012
Jason Rosenhouse 02.12.2012
Orac 01.26.2012
MarkH 02.14.2012
