# homology

Published articles for homology.

This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles.

## The Čech Complex and the Vietoris-Rips Complex

DevFeed: [The Čech Complex and the Vietoris-Rips Complex](<https://devfeed.tech/articles/the-cech-complex-and-the-vietoris-rips-complex-40386.md>)

Original publisher: [Read original article](<https://www.jeremykun.com/2015/08/06/cech-vietoris-rips-complex/>)

Published: 2015-08-06T09:00:00Z

Content type: article

Language: en

Sources: [Jeremy Kun](<https://devfeed.tech/sources/jeremy-kun.md>)

Topics: [data](<https://devfeed.tech/topics/data.md>), [datasets](<https://devfeed.tech/topics/datasets.md>), [Point cloud](<https://devfeed.tech/topics/point-cloud.md>), [Computing](<https://devfeed.tech/topics/computing.md>)

Tags: [approximation](<https://devfeed.tech/tags/approximation.md>), [cech-complex](<https://devfeed.tech/tags/cech-complex.md>), [complex](<https://devfeed.tech/tags/complex.md>), [computational-topology](<https://devfeed.tech/tags/computational-topology.md>), [data-mining](<https://devfeed.tech/tags/data-mining.md>), [data-science](<https://devfeed.tech/tags/data-science.md>), [dataset](<https://devfeed.tech/tags/dataset.md>), [homology](<https://devfeed.tech/tags/homology.md>), [linear-algebra](<https://devfeed.tech/tags/linear-algebra.md>), [mathematics](<https://devfeed.tech/tags/mathematics.md>), [persistent-homology](<https://devfeed.tech/tags/persistent-homology.md>), [point](<https://devfeed.tech/tags/point.md>), [points](<https://devfeed.tech/tags/points.md>), [simplicial-complex](<https://devfeed.tech/tags/simplicial-complex.md>), [vietoris-rips-complex](<https://devfeed.tech/tags/vietoris-rips-complex.md>)

### AI overview

This article introduces computational topology for analyzing the shape of data. It explains how point clouds can be converted into simplicial complexes so homology and persistent homology can identify qualitative features such as connected components and holes, with some resistance to noise.

### Source excerpt

It's about time we got back to computational topology. Previously in this series we endured a lightning tour of the fundamental group and homology, then we saw how to compute the homology of a simplicial complex using linear algebra. What we really want to do is talk about the inherent shape of data. Homology allows us to compute some qualitative features of a given shape, i.e., find and count the number of connected components or a given shape, or the number of "2-dimensional holes" it has.

## Fixing Bugs in "Computing Homology"

DevFeed: [Fixing Bugs in "Computing Homology"](<https://devfeed.tech/articles/fixing-bugs-in-computing-homology-40340.md>)

Original publisher: [Read original article](<https://www.jeremykun.com/2014/01/23/fixing-bugs-in-computing-homology/>)

Published: 2014-01-23T23:05:16Z

Content type: tutorial

Language: en

Sources: [Jeremy Kun](<https://devfeed.tech/sources/jeremy-kun.md>)

Topics: [Computing](<https://devfeed.tech/topics/computing.md>), [Mathematics](<https://devfeed.tech/topics/mathematics.md>), [Code](<https://devfeed.tech/topics/code.md>), [function](<https://devfeed.tech/topics/function.md>), [Matrix](<https://devfeed.tech/topics/matrix-org.md>)

Tags: [bugs](<https://devfeed.tech/tags/bugs.md>), [code](<https://devfeed.tech/tags/code.md>), [computing](<https://devfeed.tech/tags/computing.md>), [function](<https://devfeed.tech/tags/function.md>), [homology](<https://devfeed.tech/tags/homology.md>), [linear-algebra](<https://devfeed.tech/tags/linear-algebra.md>), [mathematics](<https://devfeed.tech/tags/mathematics.md>), [matrices](<https://devfeed.tech/tags/matrices.md>), [persistent-homology](<https://devfeed.tech/tags/persistent-homology.md>), [programming](<https://devfeed.tech/tags/programming.md>), [python](<https://devfeed.tech/tags/python.md>), [quotients](<https://devfeed.tech/tags/quotients.md>), [row-reduction](<https://devfeed.tech/tags/row-reduction.md>), [test](<https://devfeed.tech/tags/test.md>)

### AI overview

This article corrects bugs in code for computing homology. It identifies an indexing error, explains a mathematical mistake in simultaneous row and column reduction, and shows how further row reduction is needed to obtain the correct rank for a triangulation of the Möbius band.

### Source excerpt

A few awesome readers have posted comments in Computing Homology to the effect of, "Your code is not quite correct!" And they're right! Despite the almost year since that post's publication, I haven't bothered to test it for more complicated simplicial complexes, or even the basic edge cases! When I posted it the mathematics just felt so solid to me that it had to be right (the irony is rich, I know).

## Functoriality in Category Theory: Mappings That Preserve Morphisms

DevFeed: [Functoriality in Category Theory: Mappings That Preserve Morphisms](<https://devfeed.tech/articles/functoriality-40326.md>)

Original publisher: [Read original article](<https://www.jeremykun.com/2013/07/14/functoriality/>)

Published: 2013-07-14T10:03:29Z

Content type: tutorial

Language: en

Sources: [Jeremy Kun](<https://devfeed.tech/sources/jeremy-kun.md>)

Topics: [Category Theory](<https://devfeed.tech/topics/category-theory.md>), [Mathematics](<https://devfeed.tech/topics/mathematics.md>), [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>)

Tags: [categories](<https://devfeed.tech/tags/categories.md>), [category-theory](<https://devfeed.tech/tags/category-theory.md>), [coproducts](<https://devfeed.tech/tags/coproducts.md>), [functor](<https://devfeed.tech/tags/functor.md>), [homology](<https://devfeed.tech/tags/homology.md>), [ml](<https://devfeed.tech/tags/ml.md>), [morphisms](<https://devfeed.tech/tags/morphisms.md>), [universal-properties](<https://devfeed.tech/tags/universal-properties.md>)

### AI overview

This tutorial introduces functoriality in category theory. It explains functors as mappings between categories that assign objects and morphisms while preserving identity morphisms and composition, with homology as an example of a functorial construction.

### Source excerpt

Last time we worked through some basic examples of universal properties, specifically singling out quotients, products, and coproducts. There are many many more universal properties that we will mention as we encounter them, but there is one crucial topic in category theory that we have only hinted at: functoriality. As we've repeatedly stressed, the meat of category theory is in the morphisms. One natural question one might ask is, what notion of morphism is there between categories themselves?

## Computing Homology

DevFeed: [Computing Homology](<https://devfeed.tech/articles/computing-homology-40311.md>)

Original publisher: [Read original article](<https://www.jeremykun.com/2013/04/10/computing-homology/>)

Published: 2013-04-10T16:38:25Z

Content type: tutorial

Language: en

Sources: [Jeremy Kun](<https://devfeed.tech/sources/jeremy-kun.md>)

Topics: [Computing](<https://devfeed.tech/topics/computing.md>), [Code](<https://devfeed.tech/topics/code.md>), [Algorithm](<https://devfeed.tech/topics/algorithm.md>), [Collections](<https://devfeed.tech/topics/collections.md>), [.NET 11 Preview 7](<https://devfeed.tech/topics/net-11-preview-7.md>)

Tags: [algebraic-topology](<https://devfeed.tech/tags/algebraic-topology.md>), [algorithm](<https://devfeed.tech/tags/algorithm.md>), [code](<https://devfeed.tech/tags/code.md>), [collections](<https://devfeed.tech/tags/collections.md>), [computing](<https://devfeed.tech/tags/computing.md>), [homology](<https://devfeed.tech/tags/homology.md>), [linear-maps](<https://devfeed.tech/tags/linear-maps.md>), [matrices](<https://devfeed.tech/tags/matrices.md>), [matrix](<https://devfeed.tech/tags/matrix.md>), [ordering](<https://devfeed.tech/tags/ordering.md>), [row-reduction](<https://devfeed.tech/tags/row-reduction.md>), [structure](<https://devfeed.tech/tags/structure.md>)

### AI overview

This tutorial explains an algorithmic approach to computing homology for a simplicial complex. It represents chain groups and boundary homomorphisms as matrices, uses row reduction, and works through an extended example for computing H₁.

### Source excerpt

Update: the mistakes made in the code posted here are fixed and explained in a subsequent post (one minor code bug was fixed here, and a less minor conceptual bug is fixed in the linked post). In our last post in this series on topology, we defined the homology group. Specifically, we built up a topological space as a simplicial complex (a mess of triangles glued together), we defined an algebraic way to represent collections of simplices called chains as vectors in a vector space, we defined the boundary homomorphism $ \partial_k$ as a linear map on chains, and finally defined the homology groups as the quotient vector spaces