Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 14969

Homotopy theory, homological algebra, algebraic treatments of manifolds.

2 votes

comparison between two monadic definitions for an operad

Well the two monads are quite different: in May definition you deal with an actual monad in $\mathbf {Cat}$ (i.e. a strict-$2$-category) while in the second case you work with monads in the bicategory …
Giorgio Mossa's user avatar
4 votes

Natural transformations as categorical homotopies

Following the previous indication of Professor Brown I want to add another possible way to see natural transformation which is a generalization of the previous definition. Given categories $\mathc …
Giorgio Mossa's user avatar
29 votes
6 answers
4k views

Concrete example of $\infty$-categories

I've seen many different notions of $\infty$-categories: actually I've seen the operadic-globular ones of Batanin and Leinster, and the opetopic, and eventually I'll see the simplicial ones too. Altho …
Giorgio Mossa's user avatar
41 votes

Is Mac Lane still the best place to learn category theory?

I doubt that someone could learn higher category theory (and more in general higher dimensional algebra) without first studying a little of category theory, mostly because the definition given in such …
61 votes
8 answers
7k views

Natural transformations as categorical homotopies

Every text book I've ever read about Category Theory gives the definition of natural transformation as a collection of morphisms which make the well known diagrams commute. There is another possible d …
Giorgio Mossa's user avatar