Schlagwort-Archiv: Kategorien

It's as if I'm to eat.

I am not contento.

Malvina Nassim: Are secret love letters really anonymous? (video)

SRY, not now.

The reason I don’t have my students look at their own chromosome in class is because people could learn that their chromosomal sex doesn’t match their physical sex, and learning that in the middle of a 10-point assignment is JUST NOT THE TIME.

@RebeccaRHelm, 2019-12-20


Ob du gegen etwas bist,
oder es verteidigst,
alles scheiß egal,
sie sind zutiefst beleidigt

Dirty Dabbes: Zutiefst Beleidigt


"Why call it anything? Names are such question-beggars. Why not be content with just knowing that it happened?"

Island by Aldous Huxley

Them like that.

You can love somebody without it being like that.

You keep them a stranger, a stranger who's a friend.

Truman Capote: Breakfast at Tiffany's

Gitegory Theory.

We begin by defining a category of files and patches, where the operation of merging the effect of two coinitial patches is defined by pushout. Since two patches can be incompatible, such a pushout does not necessarily exist in the category, which raises the question of which is the correct category to represent and manipulate files in conflicting state. We provide an answer by investigating the free completion of the category of files under finite colimits, and give an explicit description of this category: its objects are finite sets labeled by lines equipped with a transitive relation and morphisms are partial functions respecting labeling and relations.

Samuel Mimram, Cinzia Di Giusto: A Categorical Theory of Patches (

A new one.

Wrong hyphenation of the day: cat-ego-ry.

Ältere Beiträge «