@misc{indiciae5fa97643be9a, title = {Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models}, author = {Dorel Lucanu}, year = {2023}, doi = {10.4204/eptcs.389.4}, url = {https://arxiv.org/abs/2309.13798}, note = {Source identifier: 2309.13798} }