-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmain.tex
27 lines (25 loc) · 923 Bytes
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
\documentclass{article}
\usepackage{default}
\usepackage{stdnamesmacros}
\usepackage{feedbackmacros}
\usepackage{opengamesmacros}
\title{Open games on categories with feedback}
\author{Elena Di Lavore and Mario Rom\'an}
\begin{document}
\maketitle
\section{Introduction}
\emph{Disclaimer.} This is a very preliminary draft and all the references are missing (as well as some proofs). This work is based on Jules Hedges' open games and categories with feedback as in Katis, Sabadini and Walters (as well as our previous work on them).
We want to extend the construction of open games to any category with feedback \(\cat{C}\).
\section{Definition}
\subsection{The category Game(C)}
\input{category}
\subsection{Monoidal structure}
\input{monoidalstructure}
\subsection{Feedback operator}
\input{feedbackoperator}
\appendix
\section{Proofs}
\input{proofcategory}
\input{proofmonoidal}
%\input{prooffeedback}
\end{document}