In category theory, an **essential monomorphism** is a special type of morphism that captures the idea of "injectivity" in a broader categorical context.
In mathematics, "ramification" typically refers to the way a mathematical object behaves as it is extended or generalized, often in the context of field theory or algebraic geometry. The term is used in a few specific contexts, notably in: 1. **Field Theory**: In the context of number fields or function fields, ramification describes the behavior of prime ideals in an extension of fields.
De novo DNA synthesis by Ciro Santilli 40 Updated 2025-07-16
As of 2018, Ciro Santilli believes that this could be the next big thing in biology technology.
"De novo" means "starting from scratch", that is: you type the desired sequence into a computer, and the synthesize it.
The "de novo" part is important, because it distinguishes this from the already well solved problem of duplicating DNA from an existing DNA template, which is what all our cells do daily, and which can already be done very efficiently in vitro with polymerase chain reaction.
Notably, the dream of most of those companies is to have a machine that sits on a lab bench, which synthesises whatever you want.
TODO current de novo synthesis costs/time to delivery after ordering a custom sequence.
The initial main applications are likely going to be:
but the real pipe dream is building and bootstraping entire artificial chromosomes
News coverage:
Video 1.
Nuclera eDNA enzymatic de novo DNA synthesis explanatory animation (2021)
Source. The video shows nicely how Nuclera's enzymatic DNA synthesis works:
Ortholog by Ciro Santilli 40 Updated 2025-07-16
A gene that was inherited from the same ancestor in two different species, and which has maintained the same function in both species.
Selenocysteine by Ciro Santilli 40 Updated 2025-07-16
Like cysteine, but with selenium instead of sulfur.
The weird one, not directly coded in the genetic code.
The Twelve Apostles were actually officially appointed by Jesus amongst his followers. It was not simply that they were the first followers. It was official rank.
CIDARLAB/cello by Ciro Santilli 40 Updated 2025-07-16
The input is in Verilog! Overkill?
Then it essentially maps to a standard cell library of biological primitives!
The 3D structure of GFP is so cool. It is so clearly a bottle with a fluorescent bit well isolated right in the middle. Like a little lamp.
In the context of algebraic geometry and representation theory, a **complex reflection group** is a specific type of symmetry group that arises in the study of regular polytopes and their symmetries, particularly in complex vector spaces. Formally, a complex reflection group is defined as a finite group generated by complex reflections.
Allen Mouse Brain by Ciro Santilli 40 Updated 2025-07-16
Grouping their mouse brain projcts here.
Video 1.
Tutorial: Allen Developing Mouse Brain by Allen Institute (2014)
Source.
Carl F. Craver is a philosopher of science, particularly known for his work in the philosophy of neuroscience and the philosophy of biology. He has contributed significantly to discussions surrounding scientific explanation, the nature of mechanisms in biological systems, and the relationship between neuroscience and psychology. Craver's research often involves examining how scientific practices inform our understanding of mental states and cognitive processes, and he seeks to clarify the conceptual frameworks that underpin scientific inquiry in these fields.
Cyber spying, often referred to as cyber espionage, is the act of using computer networks and digital technologies to gather confidential or sensitive information without the consent of the information owner. This form of espionage can be conducted by individuals, organizations, or nation-states and typically targets government entities, corporations, and critical infrastructure.
The number 130 is an integer that comes after 129 and before 131. It is an even number and can be expressed as a combination of its prime factors: \(2 \times 5 \times 13\). In terms of its properties: - It is a composite number, meaning it has divisors other than 1 and itself. - It can be expressed in various numerical bases, such as binary (10000010), octal (202), or hexadecimal (82).
An **antimatroid** is a combinatorial structure that generalizes certain properties of matroids. It is defined by a collection of sets that satisfy specific axioms.
142857 is known as the cyclic number associated with the fraction 1/7. When you divide 1 by 7, the decimal representation is 0.142857..., which repeats the sequence "142857" indefinitely.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 2.
    You can publish local OurBigBook lightweight markup files to either https://OurBigBook.com or as a static website
    .
    Figure 3.
    Visual Studio Code extension installation
    .
    Figure 4.
    Visual Studio Code extension tree navigation
    .
    Figure 5.
    Web editor
    . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
    Video 4.
    OurBigBook Visual Studio Code extension editing and navigation demo
    . Source.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact