Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
This tag is used if a reference is needed in a paper or textbook on a specific result.
5
votes
A functor whose initial algebra is another's terminal coalgebra
Here's a sequence of answers.
The set of streams of elements of $A$ can be thought of as the final coalgebra $\nu F$ of the functor $F(X) = A \times X$. It is also the initial algebra of the functo …
15
votes
Do you know any good introductory resource on sequent calculus?
Girard's Proofs and Types contains a good intro to this stuff. A translation to English by Paul Taylor and Yves Lafont is available free online. I also like Negri and van Plato's Structural Proof Theo …
57
votes
Is there an introduction to probability theory from a structuralist/categorical perspective?
A few months ago, Terry Tao had a really insightful post about "the probabilistic way of thinking", in which he suggested that a nice category of probability spaces was one in which the objects were p …
4
votes
Comprehensive reference for synthetic euclidean geometry
Jeremy Avigad, Edward Dean, and John Mumma have an article in the Review of Symbolic Logic, A Formal System for Euclid's Elements (arxiv), which (a) gives a sequent calculus for the arguments used in …
21
votes
[solved] sequent calculus as programming language
There is no single answer to this question, because of the high degree of nondeterminism inherent in the sequent calculus -- to get a computational interpretation, you need to resolve the ambiguity, a …
6
votes
0
answers
200
views
Lambek calculus, linear logic, and linear algebra
In his 1958 paper, The Mathematics of Sentence Structure, Joachim Lambek introduced the Lambek calculus. In modern terms, it could be understood as a syntax for biclosed
monoidal categories, and he r …