Tag Index

ago22

2 items with this tag.

Apr 29, 2025
Dioptics from corners in both boundaries
- ago22
Apr 29, 2025
Dioptics
- ago22

apr22

1 item with this tag.

Apr 29, 2025
Freyd as pseudomonoids
- apr22

arrow-notation

1 item with this tag.

Apr 30, 2025
arrow notation
- do-notation
- arrow-notation

causal-function

1 item with this tag.

Apr 29, 2025
causal functions in graded comonoids
- graded-coalgebra
- causal-function

copy-discard

1 item with this tag.

Apr 29, 2025
copy-discard multicategory
- copy-discard
- markov-category

distributive-law

1 item with this tag.

Apr 29, 2025
distributive law
- monoid
- distributive-law

do-notation

4 items with this tag.

Apr 30, 2025
arrow notation
- do-notation
- arrow-notation
Apr 29, 2025
Quotienting Do-notation
- do-notation
Apr 29, 2025
do-notation for Freyd categories
- do-notation
Apr 29, 2025
do-notation for copy-discard-compare categories
- do-notation

duoidal-category

2 items with this tag.

May 02, 2025
duoidal category of graded objects
- duoidal-category
May 02, 2025
graded comonoid
- duoidal-category

feb22

1 item with this tag.

Apr 29, 2025
Sleeping beauty problem
- feb22

formal-category-theory

1 item with this tag.

Apr 29, 2025
Right adjoint to oplax is lax
- formal-category-theory

graded-coalgebra

2 items with this tag.

Apr 29, 2025
causal functions in graded comonoids
- graded-coalgebra
- causal-function
Apr 29, 2025
graded comonad
- graded-coalgebra

index

6 items with this tag.

May 08, 2025
category theory
- index
May 02, 2025
Accessible categories
- index
Apr 30, 2025
Markov category
Apr 29, 2025
Linear mathematics
- index
Apr 29, 2025
Bisimulation
- index
Apr 29, 2025
Traversables
- index

markov-category

13 items with this tag. Showing first 10 tags.

May 09, 2025
Conditionals in a Markov category
- markov-category
- monoidal-category
May 02, 2025
distributive Markov category
- markov-category
Apr 30, 2025
Markov category
Apr 30, 2025
conditionals of a composition
- markov-category
Apr 30, 2025
Discrete partial Markov category
- markov-category
Apr 29, 2025
Disintegration
- markov-category
Apr 29, 2025
conditionals are unique up to ranges
- markov-category
- monoidal-streams
Apr 29, 2025
conditionals of a family
- markov-category
- monoidal-streams
Apr 29, 2025
conditionals on multigraph based networks
- markov-category
Apr 29, 2025
copy-discard multicategory
- copy-discard
- markov-category

monoid

2 items with this tag.

May 02, 2025
Promonad
Apr 29, 2025
distributive law
- monoid
- distributive-law

monoidal-category

2 items with this tag.

May 09, 2025
Conditionals in a Markov category
- markov-category
- monoidal-category
Apr 30, 2025
Markov category

monoidal-streams

8 items with this tag.

May 02, 2025
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
- monoidal-streams
May 02, 2025
Definitions of combs
- monoidal-streams
May 02, 2025
Streams in cartesian monoidal categories
- monoidal-streams
May 02, 2025
coinductive streams
- monoidal-streams
May 02, 2025
effectful streams
- monoidal-streams
May 02, 2025
monoidal streams
- monoidal-streams
Apr 29, 2025
conditionals are unique up to ranges
- markov-category
- monoidal-streams
Apr 29, 2025
conditionals of a family
- markov-category
- monoidal-streams

motivation

1 item with this tag.

May 02, 2025
motivation for promonads
- promonad
- motivation

network

1 item with this tag.

Apr 29, 2025
open network
- network

note

7 items with this tag.

Apr 29, 2025
Eckmann-Hilton argument
- note
Apr 29, 2025
Feedback in compact bicategories
- note
Apr 29, 2025
One-time pad protocol
- note
Apr 29, 2025
causal morphisms
- note
Apr 29, 2025
nutrition
- note
Apr 29, 2025
strongly connected component of a graph
- note
Apr 29, 2025
Unbiased premonoidal category
- note

nov20

3 items with this tag.

Apr 29, 2025
Decorating bicategories of processes
- nov20
Apr 29, 2025
Loop space of a bicategory
- nov20
Apr 29, 2025
Quotient of IO transition systems
- nov20

paper

1 item with this tag.

Apr 29, 2025
Categorical Logic (Shulman, 2016)
- paper

polar-shuffle

3 items with this tag.

Apr 29, 2025
polar shuffles - backtrack counting
- polar-shuffle
Apr 29, 2025
polar shuffles - variable notation - tensor and unit
- polar-shuffle
Apr 29, 2025
start-of-a-polar-shuffle
- polar-shuffle

productivity

1 item with this tag.

Apr 29, 2025
focus-on-a-few-crucial-goals
- productivity

profunctor

1 item with this tag.

May 02, 2025
Promonad

promonad

3 items with this tag.

May 02, 2025
motivation for promonads
- promonad
- motivation
May 02, 2025
Promonad
Apr 29, 2025
distributive law of promonads
- promonad

type-theory

1 item with this tag.

Apr 29, 2025
Simple type theory
- type-theory

Explorer

Tag Index