Sciweavers

44 search results - page 2 / 9
» Fibrations of Simplicial Sets
Sort
View
CSL
2010
Springer
13 years 6 months ago
Fibrational Induction Rules for Initial Algebras
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...
Neil Ghani, Patricia Johann, Clément Fumex
ACS
2011
13 years 2 days ago
Algebras of Higher Operads as Enriched Categories
Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin t...
Michael Batanin, Mark Weber
ACS
2004
13 years 5 months ago
Simplicial Cohomology with Coefficients in Symmetric Categorical Groups
In this paper we introduce and study a cohomology theory {Hn(-, A)} for simplicial sets with coefficients in symmetric categorical groups A. We associate to a symmetric categorical...
Pilar Carrasco, Juan Martínez-Moreno
DM
2002
92views more  DM 2002»
13 years 5 months ago
A local-global principle for vertex-isoperimetric problems
We consider the vertex-isoperimetric problem for cartesian powers of a graph G. A total order on the vertex set of G is called isoperimetric if the boundary of sets of a given siz...
Sergei L. Bezrukov, Oriol Serra