From 2d5c3288134f19088941c980e852521e9838db56 Mon Sep 17 00:00:00 2001
From: Ben Culkin <scorpress@gmail.com>
Date: Sat, 24 Sep 2022 12:35:20 -0400
Subject: Various changes

---
 src/main/java/bjc/funcdata/theory/Category.java | 28 +++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 src/main/java/bjc/funcdata/theory/Category.java

(limited to 'src/main/java/bjc/funcdata/theory')

diff --git a/src/main/java/bjc/funcdata/theory/Category.java b/src/main/java/bjc/funcdata/theory/Category.java
new file mode 100644
index 0000000..730465d
--- /dev/null
+++ b/src/main/java/bjc/funcdata/theory/Category.java
@@ -0,0 +1,28 @@
+package bjc.funcdata.theory;
+
+import java.util.Set;
+import java.util.function.Function;
+
+import bjc.data.Pair;
+import bjc.esodata.PairMap;
+
+// NOTE: haskell uses Category cat: ... where the parameter is the arrow type
+public interface Category<Element, Arrow> {	
+	Arrow identity(Element elem);
+	Arrow compose(Arrow left, Arrow right);
+}
+// Java objects would form a category as Category<Class<?>, Function<?, ?>>
+
+class FuncCategory implements Category<Class<?>, Function<?, ?>> {
+	@Override
+	public Function<?, ?> identity(Class<?> elem) {
+		return (vl) -> vl;
+	}
+
+	@Override
+	public Function<?, ?> compose(Function<?, ?> left, Function<?, ?> right) {
+		// right.compose((Function<? super V, ?>) left);
+		return null;
+	}
+	
+}
\ No newline at end of file
-- 
cgit v1.2.3