# 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