home.social

#homology — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #homology, aggregated by home.social.

  1. #KnowledgeBit: In biology, #Homology is similarity due to shared ancestry between a pair of structures or genes in different taxa.

    A common example of homologous structures is the forelimbs of vertebrates, where the wings of bats and birds, the arms of primates, the front flippers of whales and the forelegs of four-legged vertebrates like dogs and crocodiles are all derived from the same ancestral tetrapod structure.

    knowledgezone.co.in/kbits/6303

  2. #Mathober #Mathober2025

    The prompt for day 4 was 'Strongly'. In linear algebra, the dual of a vector space V is the space V* of linear maps from V to the field. There's a natural inclusion 𝑉⊗𝑉* → Hom(𝑉,𝑉) and we call V *strongly* dualisable if and only if this map has an inverse.

    The strongly dualisable vector spaces are precisely the finite dimensional ones. This is useful because it allows us to prove statements about finite dimensional vector spaces in a basis-free way. For example the trace is easy to define for strongly dualisable objects without mentioning any basis.

    The same approach works for modules over a commutative ring. The strongly dualisable objects are precisely the finitely-generated projective modules. For example for ℤ this includes free modules like ℤ¹⁰ but not quotients like ℤ/12ℤ.

    But if we work in higher algebra something interesting happens! In the category of chain complexes a chain is strongly dualisable if and only if it has finitely many nonzero modules, all of which are themselves strongly dualisable.

    The ∞-category of chain complexes include the category of modules by sending V to … → 0 → 0 → 𝑉. But the chain complex … → 0 → 0 → ℤ/12ℤ is equivalent to … → 0 → ℤ → ℤ, which is dualisable!

    So using ∞-categories we can extend the methods of finite-dimensional linear algebra to modules that were previously out of reach!

    #Math #Maths #Mathematics #CategoryTheory #Homology #HomologyTheory

  3. #DidYouKnow: In biology, #Homology is similarity due to shared ancestry between a pair of structures or genes in different taxa.

    A common example of homologous structures is the forelimbs of vertebrates, where the wings of bats and birds, the arms of primates, the front flippers of whales and the forelegs of four-legged vertebrates like dogs and crocodiles are all derived from the same ancestral tetrapod structure.

    knowledgezone.co.in/kbits/6303

  4. #DidYouKnow: In biology, #Homology is similarity due to shared ancestry between a pair of structures or genes in different taxa.

    A common example of homologous structures is the forelimbs of vertebrates, where the wings of bats and birds, the arms of primates, the front flippers of whales and the forelegs of four-legged vertebrates like dogs and crocodiles are all derived from the same ancestral tetrapod structure.

    knowledgezone.co.in/kbits/6303

  5. "Contrary to the model, we found that the double helix was not unwound even a single turn during search for #sequence homology, but rather was unwound only after the homologous sequence was recognized... The search for homologous sequence with homologous ssDNA without dsDNA-strand separation does not generate stress within the dsDNA; this would be an advantage for dsDNA to express #homology-dependent functions in vivo and also in vitro"

    #DNA

    academic.oup.com/nar/advance-a

  6. Taking the opportunity to advertise that we have an ontology of #homology related concepts since 2010, which tries to formalise many of the related concepts, with references and relations between the concepts
    bioportal.bioontology.org/onto
    doi.org/10.1016/j.tig.2009.12.
    #SMBE2023

  7. 'Outlier-Robust Subsampling Techniques for Persistent Homology', by Bernadette J. Stolz.

    jmlr.org/papers/v24/21-1526.ht

    #homology #outliers #topological

  8. 'Intrinsic Persistent Homology via Density-based Metric Learning', by Ximena Fernández, Eugenio Borghini, Gabriel Mindlin, Pablo Groisman.

    jmlr.org/papers/v24/21-1044.ht

    #manifold #homology #topological

  9. Two p-cycles a and b are "homologous" (i.e. belong to the same class) if there exists a (p+1)-chain c, such that b = a + ∂c (mod-2 sum)
    👇
    arxiv.org/abs/2206.13932

    Funded by the European Research Council (ERC) (project TORI, erc-tori.github.io/)

  10. #Matroid s are a specific kind of sets that contain other sets, but for any set they contain, they also need to contain its subsets. For more look here:

    en.wikipedia.org/wiki/Matroid

    Looking oddly specific, they're in fact an interesting structure which pops out in the study of many combinatorial subjects like graph theory, and, as I just learned, #homology!

  11. Well, actually, it’s a bit annoying that \(\delta\) returns lots of n-1 simplices for any n-simplex: it is a multifunction. If we instead map the other way around, from the boundary to the inside, we simply get a function! And that’s called cohomology, and is what the cool kids do all the time!

    4/end

    #homology #cohomology