{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":93435284,"defaultBranch":"master","name":"FunctorCategories","ownerLogin":"homalg-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-06-05T18:38:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1106072?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1675150052.951972","currentOid":""},"activityList":{"items":[{"before":"4fac2ae0fcdfca259ddd6f913aa66c0e01827328","after":"7ee720f3ff4bfc98de4f6201a7f0fa877a1acd3e","ref":"refs/heads/master","pushedAt":"2024-07-15T18:22:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"Adjust to https://github.com/homalg-project/CAP_project/pull/1630","shortMessageHtmlLink":"Adjust to homalg-project/CAP_project#1630"}},{"before":"109d9b5a03ee0262581900ddfead16a3c250385c","after":"4fac2ae0fcdfca259ddd6f913aa66c0e01827328","ref":"refs/heads/master","pushedAt":"2024-07-08T16:32:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"comply with LinearAlgebraForCAP/FreydCategoriesForCAP v2024-07.02\n\nwhich uses HomalgMatrixListList at more places","shortMessageHtmlLink":"comply with LinearAlgebraForCAP/FreydCategoriesForCAP v2024-07.02"}},{"before":"e9221400d51c1a875a711ddc8015445c1fa0706a","after":"109d9b5a03ee0262581900ddfead16a3c250385c","ref":"refs/heads/master","pushedAt":"2024-07-01T02:09:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"MakeShowable( ... IsDigraphByOutNeighboursRep and IsDigraphOfSubobjects )","shortMessageHtmlLink":"MakeShowable( ... IsDigraphByOutNeighboursRep and IsDigraphOfSubobjec…"}},{"before":"03ba069f9691b627acf9dfbdc8a989f107404782","after":"e9221400d51c1a875a711ddc8015445c1fa0706a","ref":"refs/heads/master","pushedAt":"2024-06-28T17:29:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"updated notebooks","shortMessageHtmlLink":"updated notebooks"}},{"before":"2556472d1bc3084b7526c3eca463214ca1c8acf7","after":"03ba069f9691b627acf9dfbdc8a989f107404782","ref":"refs/heads/master","pushedAt":"2024-06-28T01:29:53.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"got rid of special handling of InitialCategory\n\nneeds and complies with CAP v2024.06-03","shortMessageHtmlLink":"got rid of special handling of InitialCategory"}},{"before":"db9e0136c1e49e28e1a012093b6b1016912ce75a","after":"2556472d1bc3084b7526c3eca463214ca1c8acf7","ref":"refs/heads/master","pushedAt":"2024-06-27T13:12:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"switched Julia 1.10.3 -> 1.10.4","shortMessageHtmlLink":"switched Julia 1.10.3 -> 1.10.4"}},{"before":"cac161483ba6e06033ce15ca531742cd2d09be33","after":"db9e0136c1e49e28e1a012093b6b1016912ce75a","ref":"refs/heads/master","pushedAt":"2024-06-10T02:12:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"comply with MonoidalCategories/CartesianCategories v2024.06-01","shortMessageHtmlLink":"comply with MonoidalCategories/CartesianCategories v2024.06-01"}},{"before":"0128a3535a47e676531a74a144e2a91926ae36bf","after":"cac161483ba6e06033ce15ca531742cd2d09be33","ref":"refs/heads/master","pushedAt":"2024-05-29T15:26:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"updated SnakeInFreeAbelian.ipynb","shortMessageHtmlLink":"updated SnakeInFreeAbelian.ipynb"}},{"before":"2353eada202769b44b4da1fa6558ffb18b6765ee","after":"0128a3535a47e676531a74a144e2a91926ae36bf","ref":"refs/heads/master","pushedAt":"2024-05-28T09:19:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"updated SnakeInFreeAbelian.ipynb","shortMessageHtmlLink":"updated SnakeInFreeAbelian.ipynb"}},{"before":"ba747bc201c2e6ff6ff9226f90cb5e448164ef8a","after":"2353eada202769b44b4da1fa6558ffb18b6765ee","ref":"refs/heads/master","pushedAt":"2024-05-27T18:41:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"PrecompilePreSheavesOfCategoryFromDataTablesInSkeletalFinSetsSubobjectClassifier.g","shortMessageHtmlLink":"PrecompilePreSheavesOfCategoryFromDataTablesInSkeletalFinSetsSubobjec…"}},{"before":"7ed2974b4fe7792294254fa374e9ce9739506f97","after":"ba747bc201c2e6ff6ff9226f90cb5e448164ef8a","ref":"refs/heads/master","pushedAt":"2024-05-04T07:13:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"switched Julia 1.10.2 -> 1.10.3","shortMessageHtmlLink":"switched Julia 1.10.2 -> 1.10.3"}},{"before":"511482fbd87e8b83665661fc518cd6f9fd19cec2","after":"7ed2974b4fe7792294254fa374e9ce9739506f97","ref":"refs/heads/master","pushedAt":"2024-04-22T14:23:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"applied PackageJanitor","shortMessageHtmlLink":"applied PackageJanitor"}},{"before":"06a2322d812200b0ff11bcde58feaf8d008db19a","after":"511482fbd87e8b83665661fc518cd6f9fd19cec2","ref":"refs/heads/master","pushedAt":"2024-04-07T13:59:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"switched to CapAndHomalg v1.6.0","shortMessageHtmlLink":"switched to CapAndHomalg v1.6.0"}},{"before":"be4143560c8bd40009c9d8b009ef1059881cf7ec","after":"06a2322d812200b0ff11bcde58feaf8d008db19a","ref":"refs/heads/master","pushedAt":"2024-04-04T17:11:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"continued updating Julia 1.10.0 -> 1.10.2","shortMessageHtmlLink":"continued updating Julia 1.10.0 -> 1.10.2"}},{"before":"870e05f71bc2a3792f9beaf3915f951a12af47d9","after":"be4143560c8bd40009c9d8b009ef1059881cf7ec","ref":"refs/heads/master","pushedAt":"2024-04-04T13:45:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"temporarily disable testing notebook","shortMessageHtmlLink":"temporarily disable testing notebook"}},{"before":"d2a1117692a37464f4e69fda03d0b2012fdf6723","after":"870e05f71bc2a3792f9beaf3915f951a12af47d9","ref":"refs/heads/master","pushedAt":"2024-03-19T05:24:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"udpated SnakeInFreeAbelian.ipynb","shortMessageHtmlLink":"udpated SnakeInFreeAbelian.ipynb"}},{"before":"d4144e7e66bb78c23cb68a0dde844148acac5093","after":"d2a1117692a37464f4e69fda03d0b2012fdf6723","ref":"refs/heads/master","pushedAt":"2024-03-16T05:25:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"udpated documentation","shortMessageHtmlLink":"udpated documentation"}},{"before":"44f819ca39c2321e8b54653dcebef25565519466","after":"d4144e7e66bb78c23cb68a0dde844148acac5093","ref":"refs/heads/master","pushedAt":"2024-03-14T03:26:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"updated Julia 1.10.0 -> 1.10.2","shortMessageHtmlLink":"updated Julia 1.10.0 -> 1.10.2"}},{"before":"c903e55124e1274e7258e5d36551031d17fe9fdc","after":"44f819ca39c2321e8b54653dcebef25565519466","ref":"refs/heads/master","pushedAt":"2024-03-13T07:58:00.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"d&i AssociatedCoequalizerPairInPreSheaves for IsObjectInCategoryOfColimitQuivers","shortMessageHtmlLink":"d&i AssociatedCoequalizerPairInPreSheaves for IsObjectInCategoryOfCol…"}},{"before":"f7e91467872d04aa17e6cce54f513cccb17a661f","after":"c903e55124e1274e7258e5d36551031d17fe9fdc","ref":"refs/heads/master","pushedAt":"2024-03-09T11:50:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"installed CoveringListOfRepresentables for the 2-enriched case","shortMessageHtmlLink":"installed CoveringListOfRepresentables for the 2-enriched case"}},{"before":"2f634850e190eec85dcfdf38079ba3c03a62a8dd","after":"f7e91467872d04aa17e6cce54f513cccb17a661f","ref":"refs/heads/master","pushedAt":"2024-03-09T06:44:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"updated DisplayString for presheaves and their morphisms","shortMessageHtmlLink":"updated DisplayString for presheaves and their morphisms"}},{"before":"472fa7dc87b9a404a83e7d3a5eea74d13b45c377","after":"2f634850e190eec85dcfdf38079ba3c03a62a8dd","ref":"refs/heads/master","pushedAt":"2024-03-09T04:31:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"installed DoctrineSpecificCoveringListOfRepresentables for the 2-enriched case","shortMessageHtmlLink":"installed DoctrineSpecificCoveringListOfRepresentables for the 2-enri…"}},{"before":"77f1f4b7c0dd0ea8524f6eee74f4b37dd53d25c1","after":"472fa7dc87b9a404a83e7d3a5eea74d13b45c377","ref":"refs/heads/master","pushedAt":"2024-03-08T18:40:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"d&i SET_RANGE_CATEGORY_Of_HOMOMORPHISM_STRUCTURE and used it to simplify code","shortMessageHtmlLink":"d&i SET_RANGE_CATEGORY_Of_HOMOMORPHISM_STRUCTURE and used it to simpl…"}},{"before":"0553f6cc734382916b086c160628fcbfa010c885","after":"77f1f4b7c0dd0ea8524f6eee74f4b37dd53d25c1","ref":"refs/heads/master","pushedAt":"2024-03-07T06:25:57.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"PreSheavesOfFpEnrichedCategory in the 2-enriched case now returns a Heyting algebroid","shortMessageHtmlLink":"PreSheavesOfFpEnrichedCategory in the 2-enriched case now returns a H…"}},{"before":"d4841fa9b22674266ecf67294f0c2149f2e05d80","after":"0553f6cc734382916b086c160628fcbfa010c885","ref":"refs/heads/master","pushedAt":"2024-03-06T23:43:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"d&i AllCoproducts and used it to simplify AddSetOfObjectsOfCategory( PSh, ... )","shortMessageHtmlLink":"d&i AllCoproducts and used it to simplify AddSetOfObjectsOfCategory( …"}},{"before":"386a739032b167e399abf3549560599c4e18ec7f","after":"d4841fa9b22674266ecf67294f0c2149f2e05d80","ref":"refs/heads/master","pushedAt":"2024-03-04T07:32:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"support external tensor product for the enrichment over the interval category","shortMessageHtmlLink":"support external tensor product for the enrichment over the interval …"}},{"before":"f5a8193141f7b3f64a87b3c2e3d662302524d4d7","after":"386a739032b167e399abf3549560599c4e18ec7f","ref":"refs/heads/master","pushedAt":"2024-03-04T05:44:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"added symmetric monodial versions of properties of prosets/posets/lattices","shortMessageHtmlLink":"added symmetric monodial versions of properties of prosets/posets/lat…"}},{"before":"e247b1083bbb93965493ea4a0f96f29f23050d81","after":"f5a8193141f7b3f64a87b3c2e3d662302524d4d7","ref":"refs/heads/master","pushedAt":"2024-03-04T00:20:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"Revert \"temporarily disable testing notebook\"\n\nThis reverts commit 4bb77760a2faf665b430618c9dd17bf494af72ea.","shortMessageHtmlLink":"Revert \"temporarily disable testing notebook\""}},{"before":"7dd02b0bc97736b09fe8b17e2156360a0de6e27d","after":"e247b1083bbb93965493ea4a0f96f29f23050d81","ref":"refs/heads/master","pushedAt":"2024-03-03T03:17:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"applied PackageJanitor to add new make-target update-notebooks","shortMessageHtmlLink":"applied PackageJanitor to add new make-target update-notebooks"}},{"before":"35eb4ff85166d7955155adfcce96e98b3d6d1625","after":"7dd02b0bc97736b09fe8b17e2156360a0de6e27d","ref":"refs/heads/master","pushedAt":"2024-03-02T07:50:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"homalg-user","name":null,"path":"/homalg-user","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56833569?s=80&v=4"},"commit":{"message":"improved AddSetOfObjectsOfCategory( PSh, ... )","shortMessageHtmlLink":"improved AddSetOfObjectsOfCategory( PSh, ... )"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEgAGWcgA","startCursor":null,"endCursor":null}},"title":"Activity · homalg-project/FunctorCategories"}