Computational homology of n-types

Graham Ellis; Le Van Luyen

doi:10.1016/j.jsc.2012.02.003

Computational homology of n-types

Graham Ellis
, Le Van Luyen

Mathematics

University of Galway

Research output: Contribution to a Journal (Peer & Non Peer) › Article › peer-review

4 Citations (Scopus)

Abstract

We describe an algorithm for computing the integral homology of a simplicial group and illustrate an implementation on simplicial groups arising as the nerve of a category object in the category of groups.

Original language	English
Pages (from-to)	1309-1317
Number of pages	9
Journal	Journal of Symbolic Computation
Volume	47
Issue number	11
DOIs	https://doi.org/10.1016/j.jsc.2012.02.003
Publication status	Published - Nov 2012

Keywords

Crossed modules
Homology
N-types
Simplicial groups

Access to Document

10.1016/j.jsc.2012.02.003

Cite this

@article{5f034128855f4726960832b634655a48,

title = "Computational homology of n-types",

abstract = "We describe an algorithm for computing the integral homology of a simplicial group and illustrate an implementation on simplicial groups arising as the nerve of a category object in the category of groups.",

keywords = "Crossed modules, Homology, N-types, Simplicial groups",

author = "Graham Ellis and Luyen, \{Le Van\}",

year = "2012",

month = nov,

doi = "10.1016/j.jsc.2012.02.003",

language = "English",

volume = "47",

pages = "1309--1317",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press",

number = "11",

}

TY - JOUR

T1 - Computational homology of n-types

AU - Ellis, Graham

AU - Luyen, Le Van

PY - 2012/11

Y1 - 2012/11

N2 - We describe an algorithm for computing the integral homology of a simplicial group and illustrate an implementation on simplicial groups arising as the nerve of a category object in the category of groups.

AB - We describe an algorithm for computing the integral homology of a simplicial group and illustrate an implementation on simplicial groups arising as the nerve of a category object in the category of groups.

KW - Crossed modules

KW - Homology

KW - N-types

KW - Simplicial groups

UR - https://www.scopus.com/pages/publications/84861817757

U2 - 10.1016/j.jsc.2012.02.003

DO - 10.1016/j.jsc.2012.02.003

M3 - Article

SN - 0747-7171

VL - 47

SP - 1309

EP - 1317

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 11

ER -

Computational homology of n-types

Abstract

Keywords

Access to Document

Other files and links

Cite this