Skip to content

Activity

Showing most recent first

changed readme

jhunipushed 1 commit to master • f1bebe0…f6c8ad5 • 
on Jun 23, 2024

update

jhunipushed 1 commit to master • 9bd7be5…f1bebe0 • 
on Jun 23, 2024

minor fixes

jhunipushed 1 commit to master • fd7aca6…9bd7be5 • 
on Nov 1, 2023

added support for the topos of reflective subobjects

jhunipushed 1 commit to master • af871dd…fd7aca6 • 
on Aug 11, 2023

added support for quotients of partitions

jhunipushed 1 commit to master • bfb840a…af871dd • 
on Jun 25, 2023

refactored the topos of functions

jhunipushed 1 commit to master • 3fe1c8e…bfb840a • 
on Jun 10, 2023

preservation and reflection of subobjects and congruences

jhunipushed 1 commit to master • 56867c4…3fe1c8e • 
on May 25, 2023

add conversion multimethod

jhunipushed 1 commit to master • 59025d3…56867c4 • 
on May 25, 2023

added lattices of internal preorders

jhunipushed 1 commit to master • fdacafa…59025d3 • 
on May 20, 2023

updated subquotients

jhunipushed 1 commit to master • 9a8b370…fdacafa • 
on May 5, 2023

added subquotients

jhunipushed 1 commit to master • 96db9d6…9a8b370 • 
on Apr 25, 2023

added internal sub and con

jhunipushed 1 commit to master • b31c86b…96db9d6 • 
on Apr 7, 2023

added lawvere topologies

jhunipushed 1 commit to master • 12c7986…b31c86b • 
on Mar 28, 2023