Also you can buy some parts for a build your own
Maybe an arduino, with three antennas ( If you can do that 
) and a relay for each door and a simple spring latch mech, each cat with their own key 
a 5V version of this solenoid latch
Those ISO’s will cover the Freq protocol, likely the 134kHZ mentioned above