nopeOct 31, 2022
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 1: Comma Categories, Colimits, Signatures and Theories
(1984) : J.A. Goguen and R.M. Burstall
DOI: https://doi.org/10.1016/0304-3975(84)90134-8
#algebra #category_theory #colimit
#my_bibtex
⎯ΘωΘ⟶Oct 30, 2022

Recall that a #colimit of a #diagram in a #category C, that is, of a #functor F:J→C, is #given by a #universal [[#cocone]] for F. A [[#co #cone]] for F is a #natural #transformation from F to a #constant diagram,

Δ(c)=(J→1→cC),

so that a cocone for F is an #object of a #comma category,

F↓Δ,

where Δ:C1→CJ is the #diagonal functor #obtained by #pulling #back #along the #unique functor J→1. A universal cocone is #simply an #initial object of F↓Δ.

Show threadxameerApr 15, 2021
#Colimit instead of sum type can help with over counting
Defunctionalize (cps (recursive algorithm)-> non recursive algorithm
Popular #coding interview question