/explore
|
You are here 
|
drops.dagstuhl.de | ||
| | | | |
qchu.wordpress.com
Let $latex k$ be a commutative ring. A popular thing to do on this blog is to think about the Morita 2-category $latex \text{Mor}(k)$ of algebras, bimodules, and bimodule homomorphisms over $latex k$, but it might be unclear exactly what we're doing when we do this. What are we studying when we study the Morita... |
|
| | | | | ||
| | | | |
jiggerwit.wordpress.com
What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... |
|
| | | | | ||
| | | | |
bartoszmilewski.com
This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b... |
|
| | | | | ||
| | | | |
www.themathdoctors.org
|
|
| | | |||
