---
# System prepended metadata

title: Table of Contents

---


# Table of Contents

1.  [category theory server](#org511d9d6)
    1.  [general](#org735fe71)
        1.  [general](#org3d8ce59)
        2.  [resources](#org93da942)
        3.  [events](#orgbe97ed6)
        4.  [our work](#org70895f7)
        5.  [|meta](#org6d224a1)
        6.  [|life](#org2fbf5f7)
        7.  [|language](#org7c405db)
        8.  [|off-topic](#org0f741d6)
    2.  [theory](#org033060b)
        1.  [category theory](#org072196a)
        2.  [|logic](#org98c329c)
        3.  [|type theory + f.p.](#org80788f4)
        4.  [|combinatorics](#org1a0418d)
        5.  [|algebraic topology](#org149ac36)
        6.  [|algebraic geometry](#orgce6b98c)
    3.  [practice](#orgf5118b6)
        1.  [research](#orgaf94056)
        2.  [|education](#org0d29ea4)
        3.  [|applied ct](#orgc1e2c17)
        4.  [|software](#org57dd672)
        5.  [|industry](#org8295bed)
    4.  [|learning](#org457e247)
        1.  [reading groups](#orgd324752)
        2.  [recommendations](#org7c27564)
        3.  [basic questions](#org8112b75)
        4.  [show and tell](#orge6932bc)
        5.  [math/cs history](#org799de62)
    5.  [|games](#orge25297f)
        1.  [polls](#orga269978)
        2.  [puzzles](#org489eee5)
        3.  [definition](#org27511c5)
        4.  [what's the connection](#org2995af9)
    6.  [|goals](#orgf7ed4b4)
        1.  [new math](#org284e3b9)
        2.  [decentralize](#org565f252)
        3.  [circular economy](#orgd5dfdf1)
    7.  [|creative](#org6ebeaee)
        1.  [art](#org7b0ac88)
        2.  [music](#orgd08ee78)
        3.  [philosophy](#orgdae507d)
    8.  [|other](#org168b21a)
        1.  [Specific Seminar](#orgc970a32)
        2.  [Learning Group, or "Open Research" Group](#org7792cea)
2. To Do
    1.  [priorities](#org4e124cb)
        1.  [engaging (recruiting)](#org64ab157)
        2.  [guide (announce)](#org18bc44b)
        3.  [structure - meet with moderators to explain](#org6b87d29)
    2.  [functionality etc](#orgb959ad0)
        1.  [the ct events webpage](#org42e8670)
        2.  [directory for ct members](#orgd30e5ae)
        3.  [[API] how to pin, subscribe all, move topics between streams](#org94cc8b9)
        4.  [[ADD] git/overleaf integration?](#org5c679dd)
        5.  [[CODE] diagrams and string diagrams](#orgbd6e384)


<a id="org511d9d6"></a>

# category theory server

Structure: Category -> Stream -> Topic

Each category has an explanation, and streams within should as well. Then example topics.

Notation - "|category" or "|stream" means it is optional; we won't subscribe everyone to it.

For the less obvious categories like "games" and "goals", the streams are examples as well.

<a id="org735fe71"></a>

## general


<a id="org3d8ce59"></a>

### general

Announcements, introductions, general community topics.


<a id="org93da942"></a>

### resources

Compiled information for the CTServer community.

1.  Guide (pinned) - see below.


<a id="orgbe97ed6"></a>

### events

Seminars, workshops, conferences etc.
[pinned] calendar, maintained by organizers on private:ctseminars.


<a id="org70895f7"></a>

### our work

Post recently completed work, articles, code.


<a id="org6d224a1"></a>

### |meta

How to organize and assist this online community.

1.  code of conduct


<a id="org2fbf5f7"></a>

### |life

Share what's going on in your life. How can we help?


<a id="org7c405db"></a>

### |language

*  espanol
*  italiano
*  francais
*  deutsch


<a id="org0f741d6"></a>

### |off-topic

Anything that does not fit anywhere else.


<a id="org033060b"></a>

## theory

streams for math/cs/logic subjects.


<a id="org072196a"></a>

### category theory

Pure category theory.

1.  universal constructions


<a id="org98c329c"></a>

### |logic


<a id="org80788f4"></a>

### |type theory + f.p.


<a id="org1a0418d"></a>

### |combinatorics


<a id="org149ac36"></a>

### |algebraic topology


<a id="orgce6b98c"></a>

### |algebraic geometry


<a id="orgf5118b6"></a>

## practice

streams for math doing, teaching, and applying to the world.


<a id="orgaf94056"></a>

### research

Discussion of good practices: study and organization, writing and exposition, etc.


<a id="org0d29ea4"></a>

### |education

Discussion of practices and experiences in education.


<a id="orgc1e2c17"></a>

### |applied ct

Applied category theory.

1.  DisCoCat


<a id="org57dd672"></a>

### |software

Code developed with categories in mind.


<a id="org8295bed"></a>

### |industry

Companies that are applying theory, for better and worse.


<a id="org457e247"></a>

## |learning

streams for collective scholarship.


<a id="orgd324752"></a>

### reading groups

testing ground for new 

1.  Sheaves and Geometry in Logic


<a id="org7c27564"></a>

### recommendations

suggested reading materials


<a id="org8112b75"></a>

### basic questions

Simple questions when you need help.


<a id="orge6932bc"></a>

### show and tell

little gems that you've learned.


<a id="org799de62"></a>

### math/cs history

Discuss key ideas and people as they have developed in time.


<a id="orge25297f"></a>

## |games

streams with precise rules for topics. usually fun.


<a id="orga269978"></a>

### polls

Ask anything, specify answer format. People give answers, and/or vote using reactions.

1.  what nonmath things best reflect the ideals of category theory?


<a id="org489eee5"></a>

### puzzles

Each topic is a simple, precise mathematical question with a right answer.

1.  What is the left adjoint of U:MonCat->Cat ?


<a id="org27511c5"></a>

### definition

a topic is a concept. a reply is a definition of the concept. keep concise.

1.  category
    *  a reflexive directed multigraph equipped with blah blah
    *  a model of Th.Cat
    *  a monad in span(set)
    *  a monad in bicomodules


<a id="org2995af9"></a>

### what's the connection

topics are of the form "what's the connection of &#x2013; and &#x2013; ?"

1.  sheaves and type theory


<a id="orgf7ed4b4"></a>

## |goals

streams that are dedicated to one goal, big or small.


<a id="org284e3b9"></a>

### new math

How should math education be revolutionized?


<a id="org565f252"></a>

### decentralize

We need good decentralized communication, governance, etc. before it all goes down.


<a id="orgd5dfdf1"></a>

### circular economy

We need an economy which accounts for the real impact of production and consumption.


<a id="org6ebeaee"></a>

## |creative

streams for creativity 


<a id="org7b0ac88"></a>

### art

especially math art


<a id="orgd08ee78"></a>

### music


<a id="orgdae507d"></a>

### philosophy


<a id="org168b21a"></a>

## |other


<a id="orgc970a32"></a>

### Specific Seminar (MIT, ACT@UCR)

### Learning Group, or "Open Research" Group


# To Do

<a id="orgfd3de66"></a>

## engage
* Recruit 20+ people to regularly engage with the ctserver community.

<a id="orgabccf2c"></a>

## guide/code
* Make clear how everyone can make the server work best for them.
* Make a concise code of conduct, designating moderators and decision protocol.
* Announce these universally, and make updates clear. [functionality : pin]

Add:
    
    *  We are designating moderators and engagers.
    *  [the calendar]
    *  [the code of conduct]
    *  [the other online math/cs communities]
    *  keep things organized. make/check descriptions of streams/topics.
    *  try to be concise and pertinent. not a chat.
    *  don't get overwhelmed. focus on what matters to you.
    *  embrace the creative aspect of the server.
    *  the idea of a community doing "open research" is radical.

<a id="org9c05a3f"></a>

<a id="orgb959ad0"></a>

## functionality etc


<a id="org42e8670"></a>

* [TODO] the ct events webpage


<a id="orgd30e5ae"></a>

* [NICE] directory for ct members


<a id="org94cc8b9"></a>

* [API] how to pin, subscribe all, move topics between streams


<a id="org5c679dd"></a>

* [ADD] git/overleaf integration?


<a id="orgbd6e384"></a>

* [CODE] diagrams and string diagrams
