6455e52 | fouche | 29 May 2024, 08:57:15 UTC | Merge branch 'main' of https://github.com/iwilare/categorical-automata | 29 May 2024, 08:57:15 UTC |
b54f749 | fouche | 29 May 2024, 08:56:46 UTC | a | 29 May 2024, 08:56:46 UTC |
26428a1 | Andrea Laretto | 05 June 2023, 12:28:00 UTC | Update README.md | 05 June 2023, 12:28:00 UTC |
d07306a | Andrea Laretto | 05 June 2023, 12:27:16 UTC | Update README.md | 05 June 2023, 12:27:16 UTC |
c591c12 | iwilare | 05 June 2023, 12:20:15 UTC | Small refactoring, update README.md | 05 June 2023, 12:20:15 UTC |
0b7b143 | iwilare | 29 April 2023, 14:48:29 UTC | Cleanup | 29 April 2023, 14:48:29 UTC |
6473d2a | iwilare | 29 April 2023, 14:35:33 UTC | Cleanup | 29 April 2023, 14:35:33 UTC |
47a8d9c | iwilare | 29 April 2023, 14:21:08 UTC | Temp | 29 April 2023, 14:21:08 UTC |
cc391e4 | iwilare | 29 April 2023, 13:16:19 UTC | Add small comment | 29 April 2023, 13:16:19 UTC |
045e8a9 | iwilare | 29 April 2023, 13:12:54 UTC | Remove Extensions, move everything to Functors | 29 April 2023, 13:12:54 UTC |
41eb15e | fouche | 29 April 2023, 11:04:02 UTC | outline adjunction | 29 April 2023, 11:04:02 UTC |
3b34bc2 | iwilare | 28 April 2023, 19:57:53 UTC | Pullback fibered adjunctions | 28 April 2023, 19:57:53 UTC |
973fe92 | iwilare | 28 April 2023, 16:19:44 UTC | Minima | 28 April 2023, 16:19:44 UTC |
18af338 | iwilare | 28 April 2023, 16:00:54 UTC | Add deaf machines, add mealifycation checks | 28 April 2023, 16:00:54 UTC |
daa1557 | iwilare | 28 April 2023, 12:55:24 UTC | Small fix | 28 April 2023, 12:55:24 UTC |
2136754 | iwilare | 28 April 2023, 12:44:46 UTC | Fix | 28 April 2023, 12:44:46 UTC |
f8a46a6 | iwilare | 28 April 2023, 12:40:18 UTC | Uncomment definitions | 28 April 2023, 12:40:18 UTC |
22707fe | iwilare | 28 April 2023, 12:16:14 UTC | Add Automata | 28 April 2023, 12:16:14 UTC |
d1dfd2d | Andrea Laretto | 20 April 2023, 18:28:01 UTC | Add a (bi) | 20 April 2023, 18:28:01 UTC |
9d645f9 | Andrea Laretto | 20 April 2023, 18:27:33 UTC | Update README.md | 20 April 2023, 18:27:33 UTC |
5fc2897 | iwilare | 20 April 2023, 18:22:52 UTC | Refactor everything, but in Set | 20 April 2023, 18:22:52 UTC |
3f4de15 | iwilare | 19 March 2023, 09:11:32 UTC | Add SemiBicategory and SemiEnriched | 19 March 2023, 09:11:32 UTC |
beecc28 | iwilare | 17 March 2023, 16:48:15 UTC | Stub semibicategory | 17 March 2023, 16:48:15 UTC |
a0ce102 | iwilare | 17 March 2023, 16:40:58 UTC | Stub Moore semibicategory | 17 March 2023, 16:40:58 UTC |
4059122 | iwilare | 16 March 2023, 14:33:00 UTC | Add asPullbacks | 16 March 2023, 14:33:00 UTC |
1ec7eaa | iwilare | 16 March 2023, 10:42:56 UTC | Finish FMealy and FMoore as pullbacks | 16 March 2023, 10:42:56 UTC |
9200ee9 | iwilare | 15 March 2023, 16:08:44 UTC | Finish FMoore as Pullback | 15 March 2023, 16:08:44 UTC |
31734fe | iwilare | 15 March 2023, 14:17:44 UTC | Finish strict pullbacks | 15 March 2023, 14:17:44 UTC |
f9164b6 | iwilare | 15 March 2023, 14:16:24 UTC | Progress on pullbacks | 15 March 2023, 14:16:24 UTC |
649946f | iwilare | 14 March 2023, 01:43:12 UTC | Fix cod/dom | 14 March 2023, 01:43:12 UTC |
563be88 | iwilare | 14 March 2023, 01:42:23 UTC | Remove unnecessary files | 14 March 2023, 01:42:23 UTC |
1efd514 | iwilare | 14 March 2023, 01:13:45 UTC | Remove library files | 14 March 2023, 01:13:45 UTC |
e8c70ba | iwilare | 13 March 2023, 23:33:43 UTC | Remove empty file | 13 March 2023, 23:33:43 UTC |
20a0120 | fouche | 09 March 2023, 15:39:21 UTC | some refines | 09 March 2023, 15:39:21 UTC |
6b62a19 | fouche | 09 March 2023, 14:38:24 UTC | universal done | 09 March 2023, 14:38:24 UTC |
3012dca | Andrea Laretto | 09 March 2023, 12:01:21 UTC | Merge pull request #2 from iwilare/complete commute done | 09 March 2023, 12:01:21 UTC |
7e9d867 | fouche | 09 March 2023, 10:00:55 UTC | commute done | 09 March 2023, 10:00:55 UTC |
01670ef | Andrea Laretto | 09 March 2023, 08:07:29 UTC | Merge pull request #1 from tetrapharmakon/complete a modest proposal | 09 March 2023, 08:07:29 UTC |
9a8db5f | fouche | 08 March 2023, 23:14:11 UTC | proof comp clean | 08 March 2023, 23:14:11 UTC |
3b0470e | fouche | 08 March 2023, 22:38:22 UTC | a modest proposal | 08 March 2023, 22:38:22 UTC |
833cb6d | iwilare | 08 March 2023, 16:45:36 UTC | Pullbacks in StrictCats | 08 March 2023, 16:45:36 UTC |
f251924 | iwilare | 08 March 2023, 14:58:59 UTC | Moments before disaster: StrictCats | 08 March 2023, 14:58:59 UTC |
ddd4a5d | iwilare | 07 March 2023, 20:34:37 UTC | Progress | 07 March 2023, 20:34:37 UTC |
381080c | iwilare | 07 March 2023, 12:41:30 UTC | Moments before actual disaster | 07 March 2023, 12:41:30 UTC |
e91eb94 | iwilare | 07 March 2023, 11:11:24 UTC | Moments before disaster | 07 March 2023, 11:11:24 UTC |
0843881 | iwilare | 07 March 2023, 09:33:05 UTC | Temp | 07 March 2023, 09:33:05 UTC |
bb42f57 | iwilare | 07 March 2023, 00:52:40 UTC | Fix README | 07 March 2023, 00:52:40 UTC |
0473bd3 | iwilare | 07 March 2023, 00:49:15 UTC | Fix agda-lib | 07 March 2023, 00:49:15 UTC |
125039f | iwilare | 07 March 2023, 00:48:48 UTC | Rename agda-lib | 07 March 2023, 00:48:48 UTC |
4df7987 | iwilare | 07 March 2023, 00:05:19 UTC | Fix agda-lib | 07 March 2023, 00:05:19 UTC |
1fe48a1 | iwilare | 07 March 2023, 00:05:01 UTC | Fix README | 07 March 2023, 00:05:01 UTC |
9b50d8d | iwilare | 06 March 2023, 23:55:34 UTC | Stabilize | 06 March 2023, 23:55:34 UTC |
b5769ec | iwilare | 06 March 2023, 23:30:42 UTC | Rename XMoore to FMoore | 06 March 2023, 23:30:42 UTC |
e336ed2 | iwilare | 06 March 2023, 23:19:17 UTC | Temporary with everything | 06 March 2023, 23:19:17 UTC |
f201651 | iwilare | 06 March 2023, 20:21:38 UTC | first commit | 06 March 2023, 20:21:38 UTC |