Doctor Gibarian

Member for 14 years, 11 months

Network profile

Summary

Reputation

427

427
417
407

2021
2022
2023
2024

Top tag

ct.category-theory

Next privilege

500 Rep.

Access review queues

Badges

2

15

Newest

Popular Question

Next badge

0/1

Critic

Impact

~10k

people reached

0

posts edited

0

helpful flags

20

votes cast

Questions

View all 10 questions

12

The difference between the Recursive and the Effective topos.

Apr 18, 2010

5

Category of graphs.

Jan 17, 2010

4

Equalizer completion

Oct 7, 2010

3

Freyd cover of a category.

Jan 17, 2010

3

Pullbacks for primitive recursive functions.

Feb 25, 2010

Answers

2

The difference between the Recursive and the Effective topos.

Apr 19, 2010

0

Parametrized natural numbers object.

Jan 19, 2010

Tags

View all 8 tags

ct.category-theory

2

Score

12

posts

computer-science

2

Score

2

posts

computability-theory

0

Score

2

posts

enriched-category-theory

0

Score

1

post

fibration

0

Score

1

post

Reputation

+20

The difference between the Recursive and the Effective topos.

+10

Codomain fibration.

+10

Pullbacks for primitive recursive functions.

+10

Equalizer completion

Badges

View all badges

This user doesn’t have any gold badges yet.

2

silver badges

Yearling

× 2

Feb 24, 2020

15

bronze badges

Benefactor

Jul 26, 2018
Promoter

Jun 25, 2013
Peer Pressure

Dec 29, 2010

Accounts

427
2
15

151
2

Active bounties (0)

This user has no active bounties

Votes cast

20

upvotes

8

question votes

12

answer votes