Daniel Gerigk

Member for 11 years, 8 months
Last seen this week

GitHub
München

Summary

Reputation

801

801
781
761

2021
2022
2023
2024

Next tag badge

simplicial-stuff

9/100 score

3/20 answers

Badges

6

18

Newest

Yearling

Next badge

0/1

Custodian

Questions

View all 8 questions

12

Extending a left fibration along an inner horn

Nov 7, 2015

12

Is every weak $\infty$-bicategory (à la Lurie) an $\infty$-bicategory?

Sep 10, 2017

7

For a simplicial set $X$, is the category of non-degenerate simplices of $X$ a full subcategory of the category of simplices of $X$?

Sep 19, 2015

6

Item (4) in Lurie's definition of the class of marked anodyne morphisms

Oct 5, 2015

4

The axiom $\Xi : \prod_{A:\mathcal{U}} \|A\| \to A$ and the $n$-truncation of a type

Feb 6, 2017

Answers

View all 6 answers

16

Mathematical software wish list

Aug 12, 2015

5

Which mathematical definitions should be formalised in Lean?

Jun 27, 2019

4

A model structure on marked simplicial sets

Aug 27, 2017

3

Is the class of inner-anodyne morphisms right-cancellative with respect to the of the class of monomorphisms?

Jul 19, 2018

2

How to define $\Lambda^0_0$, 0-horn of a simplicial point

Mar 16, 2014

Tags

View all 15 tags

simplicial-stuff

9

Score

8

posts

higher-category-theory

8

Score

5

posts

reference-request

5

Score

4

posts

homotopy-theory

3

Score

1

post

simplicial-categories

1

Score

3

posts

Reputation

+10

Extending a left fibration along an inner horn

+10

Is the class of inner-anodyne morphisms right-cancellative with respect to the of the class of monomorphisms?

+10

For a simplicial set $X$, is the category of non-degenerate simplices of $X$ a full subcategory of the category of simplices of $X$?

+10

Is every weak $\infty$-bicategory (à la Lurie) an $\infty$-bicategory?

Badges

View all badges

This user doesn’t have any gold badges yet.

6

silver badges

Enthusiast

Jul 25, 2014
Necromancer

Oct 5
Yearling

× 4

Mar 26

18

bronze badges

Disciplined

Mar 12, 2014
Excavator

Nov 11, 2015
Curious

Oct 19, 2015

Accounts

View all 7 accounts

801
6
18

777
4
17

277
2
6

213
1
6

173
5

Active bounties (0)

This user has no active bounties

Votes cast

166

upvotes

1

downvotes

57

question votes

110

answer votes