Giorgio Mossa's user avatar
Giorgio Mossa's user avatar
Giorgio Mossa's user avatar
Giorgio Mossa
  • Member for 12 years, 10 months
  • Last seen more than a month ago
59 votes
8 answers
7k views

Natural transformations as categorical homotopies

29 votes
6 answers
4k views

Concrete example of $\infty$-categories

21 votes
3 answers
2k views

Relation between monads, operads and algebraic theories

18 votes
5 answers
3k views

Computations in $\infty$-categories

14 votes
3 answers
2k views

Differences between logic with and without equality

8 votes
3 answers
3k views

What is higher dimensional algebra?

8 votes
4 answers
924 views

Higher categories in logic

6 votes
3 answers
2k views

Monad arising from operad

4 votes
2 answers
643 views

Equivalence in $\infty$-categories

3 votes
2 answers
568 views

Further relation between monads and theories

3 votes
1 answer
128 views

Internal equality for Eq-fibrations' morphisms

2 votes
1 answer
418 views

What are $n$-poset?

0 votes
1 answer
464 views

Weak algebraic structures

-1 votes
2 answers
940 views

Alternative characterization of homotopy equivalence