Mathematics
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell's user avatar
Nathan BeDell
  • Member for 9 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
3,205
reputation
98k
reached
18
answers
111
questions
Communities
View all
About

1st year Ph.D. student in Mathematics at Tulane University. I'm interested broadly in the interactions between logic, category theory, and type theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
23
bronze badges
Top tags
View all tags
8
Score
13
Posts
10
Posts %
8
Score
8
Posts
6
Posts %
3
Score
30
Posts
23
Posts %
2
Score
20
Posts
16
Posts %
2
Score
10
Posts
8
Posts %
0
Score
24
Posts
19
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
12
What is the intuition behind the negative exponential '?' in linear logic?
Jun 21, 2016
question
11
Is there an operation on matrices such that the determinant yields a homomorphism with the additive group of the reals?
May 20, 2016
answer
8
What is the intuition behind the negative exponential '?' in linear logic?
Jun 29, 2016
question
8
Are there any fields with a matrix representation other than $\mathbb{C}$?
Sep 18, 2015
question
7
Efficient algorithm for calculating the tetration of two numbers mod n?
Jun 10, 2014
question
7
Can type theory be viewed as an alternative to model theory?
Mar 14, 2016
question
6
Is there a notion of "codependent" types for coinductive types?
Jan 25, 2017
question
6
Is the reasoning/algebra for my proof correct? (musical tuning theory proof)
Apr 15, 2014
question
6
Is there a term for an algebraic structure with two binary operators that are closed under a set?
Jun 10, 2014
question
6
Is there an online database somewhere that lists identities for algebraic structures with two binary operators?
Jun 10, 2014
Top network posts
View all network posts
42
Why does a flat universe imply an infinite universe?
25
Are there any annotated formal verification systems for pure functional programming languages?
21
How does lifting (in a functional programming context) relate to category theory?
17
Can you create functions that return functions of a dependent arity in a dependently typed language?
17
Are regular haskell algebraic data types equivalent to context free grammars? What about GADTS?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.