Explore >> Select a destination


You are here

ncatlab.org
| | bartoszmilewski.com
6.5 parsecs away

Travel
| | This is part 12 of Categories for Programmers. Previously: Declarative Programming. See the Table of Contents. It seems like in category theory everything is related to everything and everything can be viewed from many angles. Take for instance the universal construction of the product. Now that we know more about functors and natural transformations, can...
| | leanprover-community.github.io
6.3 parsecs away

Travel
| | A few weeks ago, we announced the completion of the liquid tensor experiment (LTE for short). What this means is that we stated and (completely) proved the following result in Lean: variables (p' p :
| | www.jeremykun.com
6.7 parsecs away

Travel
| | Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved.
| | dlang.org
23.9 parsecs away

Travel
| [AI summary] A blog post discussing the development of BSDScheme, a Scheme interpreter implemented in D, highlighting the advantages of the D programming language over C and C++ in terms of features like closures, garbage collection, and documentation improvements.