Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
owenlynch.org
|
|
| | | | | ||
| | | | |
leanprover-community.github.io
|
|
| | | | | 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 : | |
| | | | |
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... | |
| | | | |
decoding.io
|
|
| | | [AI summary] A developer from Pécs, Hungary, discusses creating tools for people and provides contact information for following their work. | ||
