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
14 votes
3 answers
2k views

Differences between logic with and without equality

3 votes
1 answer
128 views

Internal equality for Eq-fibrations' morphisms

3 votes
2 answers
570 views

Further relation between monads and theories

8 votes
4 answers
925 views

Higher categories in logic

-1 votes
2 answers
940 views

Alternative characterization of homotopy equivalence

18 votes
5 answers
3k views

Computations in $\infty$-categories

0 votes
1 answer
464 views

Weak algebraic structures

2 votes
1 answer
419 views

What are $n$-poset?

29 votes
6 answers
4k views

Concrete example of $\infty$-categories

8 votes
3 answers
3k views

What is higher dimensional algebra?

4 votes
2 answers
644 views

Equivalence in $\infty$-categories

21 votes
3 answers
2k views

Relation between monads, operads and algebraic theories

6 votes
3 answers
2k views

Monad arising from operad

59 votes
8 answers
7k views

Natural transformations as categorical homotopies