#countingsheep

2025-05-26

Lately been falling asleep doing the #SplittingLemma in my head.

It is fun to be #CountingSheep by a simple diagram chase!

To recap, given the short exact sequence
0 โ†’ ๐ด โ†’ ๐ต โ†’ ๐ถ โ†’ 0 it splits if ๐ด โ†’ ๐ต is invertible at ๐ด or ๐ต โ†’ ๐ถ is invertible at ๐ถ. In either equivalent case, ๐ต โ‰… ๐ดโŠ•๐ถ.

The fun part is now to prove all of these equivalences in your head so you can fall asleep. For simplicity, let's assume an abelian category. Or just plain modules (kind of implied by the direct sum, I think, you get a partial splitting lemma in nonabelian groups).

Let's do ๐ด โ†’ ๐ต is invertible implies ๐ต โ‰… ๐ดโŠ•๐ถ !

Giving these morphisms names, let ๐‘–: ๐ด โ†’ ๐ต and ๐‘—: ๐ต โ†’ ๐ถ and let's call the inverse ๐‘: ๐ต โ†’ ๐ด. Need to check that ๐‘ โ†ฆ (๐‘(๐‘), ,๐‘—(๐‘)) is both mono and epi.

Let's begin with (๐‘(๐‘), ,๐‘—(๐‘)) = (0,0) implies ๐‘=0. Since ๐‘ โˆˆ ker ๐‘—, by exactness at ๐ต we have that ๐‘ = ๐‘–(๐‘Ž) for some ๐‘Ž. But then 0 = ๐‘(๐‘) = ๐‘(๐‘–(๐‘Ž)) = ๐‘Ž because ๐‘ is an inverse. Since ๐‘– is mono, 0 = ๐‘–(0) = ๐‘–(๐‘Ž) = ๐‘.

Now we need to construct ๐‘ such that (๐‘(๐‘), ๐‘—(๐‘))=(๐‘Ž, ๐‘) for arbitrary ๐‘Ž and ๐‘. Since ๐‘— is epi, there exists ๐‘' such that ๐‘—(๐‘') = ๐‘. But ๐‘(๐‘') might be any old thing! Let's patch up ๐‘' and consider ๐‘ := ๐‘' + ๐‘–(๐‘Žโˆ’๐‘(๐‘')). By exactness at ๐ต, we also have that ๐‘—(๐‘) = ๐‘—(๐‘') = ๐‘. As a similar check, ๐‘(๐‘) = ๐‘(๐‘'+๐‘–(๐‘Žโˆ’๐‘(๐‘'))) = ๐‘(๐‘')+๐‘(๐‘–(๐‘Žโˆ’๐‘(๐‘')) but since ๐‘ is an inverse this is ๐‘(๐‘')+๐‘Žโˆ’๐‘(๐‘') = ๐‘Ž, proving that ๐‘ has been constructed as desired.

Cecilia Mjausson Hustermjausson@mastodon.design
2025-02-13

๐Ÿ‘ A closer look at my little felt sheep from @teamspellbinders February release. Between the felt, the stitching and the 3D embossing folder, it's a very gentle and tactile card! It would be perfect for a baby shower.

๐Ÿ›’ Shop this card ldli.co/e/d7k720k

#countingsheep #spellbinderspaperarts #spellbindersdies #stampanddieset #justforewe #punsarefun #watercolorpainting #babyshower instagram.com/reel/DGA_2dToR9j

Cecilia Mjausson Hustermjausson@mastodon.design
2025-02-10

When I saw @teamspellbinders newCounting Sheep Stamp & Die Set, I immediately wanted to create the sheep out of felt. To make it extra fluffy, I doubled up the felt. Then I stitched around my watercolored background with white floss, to make it even more tactile.

More about this "just for ewe" card on my blog valleyoakpaper.com/2025/counti

#spellbinderspaperarts #neverstopmaking #spellbindersdies #countingsheep #stampanddieset #justforewe #watercolorcards #cardmaking instagram.com/p/DF5RXhuswja/?u

Greeting card in soft blue and green tones. The focus is a sheep with the body done in white felt. The greeting reads "Just for ewe."
Les moutons moutonnent !
#Knitting #CountingSheep #CharlotteStone
2024-10-11

You ever have insomnia so bad you start counting sheep, but then the sheep start counting you? Now Iโ€™m lying there, thinking, โ€œGreat, even the sheep are getting more sleep than I am!โ€

#Insomnia #CantSleep #SleepDeprived #CountingSheep
#LateNightThoughts

2024-07-30

@Bruce I actually do this. Look at my toots under the #CountingSheep hashtag.

PunnyPeak.Compunnypeak
2024-04-30

" punnypeak.com/sleep-puns/

I tried to count sheep ๐Ÿ‘ to fall asleep, but they kept jumping over the fence and interrupting my Zzz's ๐Ÿ˜ด










"

PunnyPeak.Compunnypeak
2024-04-15
mark ๐Ÿ‡ฎ๐Ÿ‡ช ๐Ÿ‡ช๐Ÿ‡บeurope@vivaldi.net
2023-11-21
2023-07-28

@blueberry

Thanks. Now I finally know the true meaning of #tldr is The Lazy Data & Research. Great project, and more subversive than just #CountingSheep.

2023-04-17

Exhausting day... so here's an appropriate choon.

From the 1991 Album Boing!

#Airhead
#boing
#CountingSheep
#MondayMusic

and with that, I'm off to bed at 8:20 in the evening... what a frickin lightweight I am.

youtube.com/watch?v=frNsD1ktDl

The Streets of MelbourneNessaUndreza@aus.social
2023-03-31

Seriously cannot sleep, tonight.

Trying to force slumber rarely works.

Instead Iโ€™ll settle for staring at the night-light projected on my ceiling, perhaps? ๐Ÿคท๐Ÿปโ€โ™‚๏ธ๐Ÿ˜…

It is mesmerising.

Doesnโ€™t seem to impact the cats noneโ€ฆ theyโ€™re sleeping blissfully, enjoying the comfort of my body heat on this coolish #Melbourne night. ๐Ÿพ๐Ÿพ

๐Ÿˆ๐Ÿˆโ€โฌ›

#narrm #victoria #Australia #makesmehappy #countingsheep #zzz

2023-03-29

Even the fediverse isnโ€™t perfect ;)
Woke in the night and found my way over here. I was in a bad mood already. I found I was seeing a lot of bleak posts from people. A lot of politics, a lot of misanthropy. Was it my mood that primed me to see it? Itโ€™s also worth noting one reason I was already feeling focused on misery is Iโ€™m a United Statesian. Thatโ€™s enough of an explanation on a normal day. Itโ€™s been a very bad few days here. I think thatโ€™s a big part of why I was down and why I saw down posts from others (in English, mostly fellow USians). Now, after a few hours rest I am feeling better and I log on and see the usual mix of hopeful, creative, critical, etc.
Everything is everything, etc.

I initiated a wonderful activity as I was trying to return to sleep in the middle of the night, inspired by my love of Gertrude Steinโ€™s Tender Buttons (a work Iโ€™ve been revisiting via
@TenderButtons@botsin.space). I have played word games while falling asleep before but there has always been some structure to them. One favorite is to create a list of words in which oneโ€™s final letter becomes twoโ€™s first letter, and so on. There can be restrictions of type of word, world cities for example (London, Naples, Singaporeโ€ฆ). Itโ€™s a fine word game. Possibly itโ€™s overly active mentally to make it ideal for falling asleep. Last night I found myself producing a list of words based on sound or feeling only. I canโ€™t say random but I donโ€™t know where they came from. I simply allowed a stream of words to cross my mind, appear, disappear, with as little conscious thought as possible. I felt relaxed and fell asleep.

What variations on
#countingSheep have others with #insomnia tried?

๐–‘๐–Ž๐–™๐–™๐–‘๐–Š๐–‡๐–Ž๐–™๐–˜๐–•๐–†๐–ˆ๐–Šlittlebitspace@mas.to
2023-02-25
2022-12-08

#MastoPrompt #SmallPoem

1, a place to start
2, keep it even on the ark
3, puts one in the middle
4, counts in the dark
5, brain is a beehive
6, hit me with a brick
7, is not really lucky
8, I give in to fate
9, not feeling so fine
10, itโ€™s getting awfully late
11, easy on the eye
12, so tired I could cry
13, is awkward to say
14, itโ€™s another day
15, many years ago
16, maybe a midnight snack
17, my feet feel #frozen
18, yawn attack
19, feel kinda cosy
20, Iโ€™m dozy
21, Zozzy
22,

#CountingSheep

2022-06-02

I haven't done one of these in a while, but lately when I'm falling asleep, I have been doing some #matrices in my head.

A simple one has been the #Pascal matrix.

Let's do another episode of #CountingSheep!

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst