Skip to main content
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
Results tagged with
Search options not deleted user 1610

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 …
Neel Krishnaswami's user avatar
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 …
Neel Krishnaswami's user avatar
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 …
Neel Krishnaswami's user avatar
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 …
Neel Krishnaswami's user avatar
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 …
Neel Krishnaswami's user avatar