-
1
-
2by Finster, Eric, Mimram, SamuelSubjects: “...[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
3by Finster, Eric, Mimram, SamuelSubjects: “...[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
4by Finster, Eric, Mimram, SamuelSubjects: “...[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
5by Finster, Eric, Mimram, SamuelSubjects: “...[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
6
-
7“... category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree...”
Get access
Text -
8“... category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree...”
Get access
Get access
Report -
9“...We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category...”
Get access
Text -
10“...We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category...”
Get access
Get access
Text -
11“...We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category...”
Get access
Get access
Report -
12“... is that of the category theory and in particular of the pushout tool. We show that most of the object-oriented structures...”
Get access
Get access
Get access
Conference Object -
13“... is that of the category theory and in particular of the pushout tool. We show that most of the object-oriented structures...”
Get access
Get access
Get access
Conference Object -
14“... is that of the category theory and in particular of the pushout tool. We show that most of the object-oriented structures...”
Get access
Get access
Get access
Conference Object -
15“... naturally in higher category theory and the theory of species. We prove that the composition of two cofree...”
Get access
Get access
Get access
Conference Object