YKY

Member for 14 years
Last seen more than a week ago

Summary

Reputation

558

558
427
296

2021
2022
2023
2024

Top tag

lo.logic

Next privilege

1,000 Rep.

See votes

Badges

2

10

Newest

Popular Question

Next badge

0/1

Custodian

Impact

~7k

people reached

0

posts edited

0

helpful flags

105

votes cast

Questions

View all 9 questions

13

Two interpretations of implication in categorical logic?

Dec 4, 2020

6

Algebraization of Bayesian networks?

Mar 31, 2017

5

Matrices that are > 1 in a sense

Oct 14, 2012

4

Algebraic logic in the style of algebraic geometry

Oct 23

3

What is the cardinality of Dana Scott's $D_{\infty}$?

Jan 26, 2021

Answers

2

Combinator logic and unification

Sep 15, 2011

1

The category of hypergraphs as a topos

Aug 9, 2018

Tags

View all 24 tags

lo.logic

2

Score

3

posts

ct.category-theory

1

Score

3

posts

topos-theory

1

Score

2

posts

hypergraph

1

Score

1

post

ag.algebraic-geometry

0

Score

2

posts

Reputation

+40

Algebraic logic in the style of algebraic geometry

+10

Is the Kolmogorov-Arnold representation theorem an example of the Yoneda lemma?

-2

How to find matrix representations of a boolean algebra?

+10

What is the cardinality of Dana Scott's $D_{\infty}$?

Badges

View all badges

This user doesn’t have any gold badges yet.

2

silver badges

Yearling

× 2

Dec 6, 2020

10

bronze badges

Revival

Jan 19, 2019
Commentator

Nov 24, 2017
Teacher

Dec 17, 2011

Accounts

View all 41 accounts

1,783
1
20
26

1,258
1
12
25

1,229
6
21

Electrical Engineering

721
1
5
6

558
2
10

Active bounties (0)

This user has no active bounties

Votes cast

105

upvotes

28

question votes

77

answer votes